714 search results - page 52 / 143 » The Formal Specification Language mCRL2 |
133
Voted
ESAW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
116
Voted
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
168
Voted
FIW
1998
15 years 4 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
114
Voted
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
151
Voted
JOT
2010
15 years 2 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...