4151 search results - page 197 / 831 » Language Driven System Design |
186
click to vote
ITC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...
117
Voted
IWSSD
2000
IEEE
15 years 7 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
98
Voted
ENTCS
2008
15 years 3 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
112
Voted
SAC
1998
ACM
15 years 7 months ago
1998
ACM
This paper presents a workflow specification language developed in the WIDE project. The language provides a rich organisation model, an information model including presentation d...
174
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...