773 search results - page 1 / 155 » Report on a Practical Application of ASMs in Software Design |
ASM
2000
ASM
13 years 9 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
SIGSOFT
2000
ACM
13 years 9 months ago
2000
ACM
Academic research sometimes suffers from the “ivory tower” problem: some ideas that sound good in theory do not necessarily work well in practice. An example of research that ...
FATES
2003
Springer
13 years 10 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
ICSE
2005
IEEE-ACM
14 years 5 months ago
2005
IEEE-ACM
The need for software architecture evaluation has drawn considerable attention in recent years. In practice, this is a challenging exercise for two main reasons. First, in deploye...
ECOOPW
1998
Springer
13 years 9 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...