10182 search results - page 410 / 2037 » Case Studies |
303
click to vote
ACMMPC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
193
Voted
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
142
click to vote
HYBRID
1994
Springer
15 years 11 months ago
1994
Springer
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
145
Voted
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
138
click to vote
ECIS
2004
15 years 8 months ago
2004
The case study method supported by interviews is used widely by IS researchers. In `messy' problems, such as the adoption of e-procurement across manufacturing supply chains,...