10263 search results - page 1 / 2053 » From Use Cases to System Operation Specifications |
UML
2000
Springer
13 years 7 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
ASM
2010
ASM
13 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
AOSD
2007
ACM
13 years 8 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
ICEIS
1999
IEEE
13 years 8 months ago
1999
IEEE
WER
2001
Springer
13 years 8 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...