5904 search results - page 229 / 1181 » Requirements for a Composition Language |
119
click to vote
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
139
Voted
CSLP
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we introduce a general framework for describing the lexicon of a lexicalised grammar by means of elementary descriptive fragments. The system described hereafter cons...
137
Voted
VL
2003
IEEE
15 years 9 months ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
131
Voted
UML
1998
Springer
15 years 8 months ago
1998
Springer
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...
141
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...