2004 search results - page 8 / 401 » Comparison of Model Checking Tools for Information Systems |
DLOG
2010
14 years 9 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
103
click to vote
APSEC
1999
IEEE
15 years 4 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
EWSPT
1994
Springer
15 years 3 months ago
1994
Springer
PDC
2004
ACM
15 years 5 months ago
2004
ACM
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...