196 search results - page 11 / 40 » Specification Diagrams for Actor Systems |
ENTCS
2002
13 years 8 months ago
2002
ended abstract demonstrates that creating editors and environments for visual languages becomes considerably easier when restricting the class of visual languages. The presented a...
I3E
2001
13 years 10 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
HASE
1999
IEEE
14 years 26 days ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
FSEN
2009
Springer
14 years 13 days ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
NGITS
1999
Springer
14 years 25 days ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...