8446 search results - page 1044 / 1690 » A Process Compensation Language |
183
click to vote
ISOLA
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
236
click to vote
SAMOS
2004
Springer
16 years 18 days ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
192
click to vote
UML
2004
Springer
16 years 18 days ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
214
click to vote
UML
2004
Springer
16 years 18 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
198
click to vote
UML
2004
Springer
16 years 18 days ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...