413 search results - page 20 / 83 » A formalism for functionality preserving system level transf... |
FM
1999
Springer
14 years 8 days ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
CCS
2003
ACM
14 years 1 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
JSA
2008
13 years 7 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
APN
2000
Springer
14 years 10 days ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...