Capturing requirements by Abstract State Machines: The Light Control case study (2000)


Download Links

by Egon Borger , Elvinia Riccobene , Joachim Schmid
Venue:Journal of Universal Computer Science
Citations:12 - 5 self

Active Bibliography

1 The Development of Multimedia Hypermedia Applications as Evolutionary, Prototyping-Based Requirements Engineering – Karin Sequerra-breitman, Daniel M. Berry - 1995
Communication in Software Development: Identification and Repair of Weak Definitions – Kimberly S. Wasson, John C. Knight
1 A Case Study of Software Reengineering – Harry I. Hornreich, Daniel M. Berry
Design Recovery – Harry I. Hornreich, Daniel M. Berry
7 Formal Modeling in a Commercial Setting: A Case Study – Andre Wong, Marsh Chechik - 1999
4 Domains as a Prerequisite for Requirements and Software --- Domain Perspectives & Facets, Requirements Aspects and Software Views – Dines Bjørner - 1997
11 Concept identification in object-oriented domain analysis: Why some students just don’t get it – Davor Svetinovic, Daniel M. Berry, Michael Godfrey - 2005
9 Guidelines for Eliciting Usability Functionalities – Natalia Juristo, Ana Maria Moreno, Maria-isabel Sanchez-segura
38 Processing Natural Language Requirements – Vincenzo Ambriola, Vincenzo Gervasi - 1997
9 A Linguistic Analysis of Requirements Errors and Its Application – Kimberly S. Hanks - 2001
21 From Contract Drafting to Software Specification: Linguistic Sources of Ambiguity - A Handbook Version 1.0 – Daniel M. Berry, Ph. D. Computer Science, Michael M. Krieger, Ph. D. Mathematics - 2000
3 Tools Supporting the Communication of Critical Domain Knowledge – Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis - 2003
38 Lightweight Validation of Natural Language Requirements – Vincenzo Gervasi, Bashar Nuseibeh - 2002
21 The ASM ground model method as a foundation of requirements engineering – Egon Börger - 2003
20 Formal Methods: The Very Idea -- Some Thoughts About Why They Work When They Work – Daniel M. Berry
Rigorous Methods for Requirements Capture and Software Architecture – Vincenzo Ambriola, Egon Börger, Carlo Montangero
From requirements to C++ code via ASM models. A case study: The production cell control program. – Egon Börger - 2000
SDL Formal Semantics Definition – Uwe Glässer, Heinz Nixdorf, Reinhard Gotzhein, Andreas Prinz - 1999
Semantic Web Services: description requirements and current technologies – Rubn Lara Holger, Holger Lausen, Sinuhé Arroyo, Jos Bruijn, Dieter Fensel, Universität Innsbruck - 2003