Awesome Animator (formerly Express Animator)

Awesome Animator (formerly Express Animator) is a software program for making animations, primarily Flash animations for websites. It is similar to…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

In context of pervasive environment, the availability and reliability of Web services cannot be always guaranteed due to the…

2014

The main objective of this article is to present the fundamentals regarding Competencies Animator, with the intention of…

2010

This paper presents the findings of a pilot-project of the library of the Electrical Engineering Faculty in Zagreb. The aim of…

2006

Tobias is a combinatorial testing tool that was used succesfully on several case studies. Currently, the evolution of the tool…

2004

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object…

2003

We discuss a methodology for animating the Object-Z specification language using a Z animation environment. Central to the…

2001

In this paper we describe our experience of using three different animation systems. We searched for and decided to use these…

1999

| One of the important issues in the application of formal notations in software development is the validation of formal…

1998

1998