650 search results - page 103 / 130 » Modeling SPARK systems with UML |
DAGSTUHL
2003
15 years 1 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
115
click to vote
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
VLDB
2002
ACM
14 years 11 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
106
click to vote
ICEBE
2007
IEEE
15 years 6 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
ASE
2006
14 years 11 months ago
2006
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...