1669 search results - page 49 / 334 » Modeling ODP Computational Specifications Using UML |
BCS
2008
13 years 11 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
GI
2009
Springer
13 years 7 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
SAC
1998
ACM
14 years 1 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...
SPE
2002
13 years 9 months ago
2002
Learning to work with enterprise frameworks requires considerable effort, because of the inherent complexity of all the knowledge that is needed. However, different roles in proje...