Mathematics for the exploration of requirements (2004)
by
Michael Huth
| Venue: | ACM SIGCSE Bulletin, Volume 36, Issue |
| Citations: | 1 - 0 self |
BibTeX
@ARTICLE{Huth04mathematicsfor,
author = {Michael Huth},
title = {Mathematics for the exploration of requirements},
journal = {ACM SIGCSE Bulletin, Volume 36, Issue},
year = {2004},
volume = {2}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The exploration of requirements is as complex as it is important in ensuring a successful software production and software life cycle. Increasingly, tool-support is available for aiding such explorations. We use a toy example and a case study of modelling and analysing some requirements of the global assembly cache of.NET to illustrate the opportunities and challenges that mathematically founded exploration of requirements brings to the computer science and software engineering curricula.
Citations
| 2026 | Model Checking - Clarke, Grumberg, et al. - 2000 |
| 272 | A.Finkelstein, “Expressing the relationships between multiple views in requirements specification - Nuseibeh, Kramer - 1993 |
| 187 | Logic in Computer Science. Modelling and reasoning about systems - Huth, Ryan - 2000 |
| 101 | G.: Exploring Requirements: Quality Before Design - Gause, Weinberg - 1989 |
| 90 | A micromodularity mechanism - Jackson, Shlyakhter, et al. - 2001 |
| 51 | Structuring Z Specifications with Views - Jackson - 1995 |
| 27 | Viewpoints for Requirements Elicitation: A Practical Approach - Sommerville, Sawyer, et al. - 1998 |
| 14 | LTSAMSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios - Uchitel, Chatley, et al. - 2003 |
| 12 | The Structure of Typed Programming Languages. Foundations of Computing Series - Schmidt - 1994 |
| 9 | Managing the evolution in .NET programs - Eisenbach, Jurisic, et al. - 2003 |
