Sciweavers

2 search results - page 1 / 1
» JTN: A Java-Targeted Graphic Formal Notation for Reactive an...
Sort
View
FASE
1999
Springer
13 years 9 months ago
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
Eva Coscia, Gianna Reggio
NGITS
1999
Springer
13 years 9 months ago
From Object-Process Diagrams to a Natural Object-Process Language
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...
Mor Peleg, Dov Dori