Sciweavers

FASE
2003
Springer
14 years 5 months ago
Modelling Recursive Calls with UML State Diagrams
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
Jennifer Tenzer, Perdita Stevens
FASE
2003
Springer
14 years 5 months ago
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne
FASE
2003
Springer
14 years 5 months ago
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
David Scott, Alastair R. Beresford, Alan Mycroft
FASE
2003
Springer
14 years 5 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski
FASE
2003
Springer
14 years 5 months ago
Xere: Towards a Natural Interoperability between XML and ER Diagrams
Abstract. XML (eXtensible Markup Language) is becoming the standard format for documents on Internet and is widely used to exchange data. Often, the relevant information contained ...
Giuseppe Della Penna, Antinisca Di Marco, Benedett...
FASE
2003
Springer
14 years 5 months ago
Detecting Implied Scenarios Analyzing Non-local Branching Choices
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
Henry Muccini
FASE
2003
Springer
14 years 5 months ago
Model-Based Development of Web Applications Using Graphical Reaction Rules
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
Reiko Heckel, Marc Lohmann
FASE
2003
Springer
14 years 5 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...