1153 search results - page 39 / 231 » Compositional Specification Calculus for Information Systems... |
117
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
121
click to vote
HOA
1993
15 years 7 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
130
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
The US Military’s ability to meet its mission critical requirements calls for increased agility in its information technology development process. The purpose of this case study...
122
Voted
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
146
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...