3 options
IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design. 5-7 November, 2000, San Diego, California / sponsored by the IEEE Computer Society Technical Committee on Software Engineering.
- Format:
- Book
- Conference/Event
- Conference Name:
- International Workshop on Software Specification and Design (10th : 2000 : San Diego, Calif.)
- Series:
- ACM Digital Library (Series)
- Language:
- English
- Subjects (All):
- Computer software--Development--Congresses.
- Computer software.
- Computer software--Development.
- Computer software--Specifications--Congresses.
- Computer software--Specifications.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- xiv, 201 pages : illustrations
- Other Title:
- Software specification and design
- Also known as: IWSSD '00
- Software Specification and Design, 2000, Tenth International Workshop on.
- Proceedings of the 10th International Workshop on Software Specification and Design.
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society Press, [2000]
- System Details:
- Mode of access: World Wide Web.
- text file
- Contents:
- Track I Reactive and Real-Time Systems
- Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation / J. Magee, J. Kramer, B. Nuseibeh, D. Bush, J. Sonander 3
- Problems and Deficiencies of UML as a Requirements Specification Language / M. Glinz 11
- Model Checking Implicit-Invocation Systems / D. Garlan, S. Khersonsky 23
- Specification and Analysis of Timed and Functional TRMCS Behaviours / M. Cioffi, F. Corradini 31
- Object-Oriented Modeling and Automated Analysis of a Telemedicine Application / L. A. Campbell, B. H. C. Cheng 39
- Duration Properties over Real Time System Designs / V. Braberman, F. Pieniazek 51
- TRMCS in TCOZ / J. Liu, J. S. Dong, J. Sun 63
- Track II Quantitative and Non-Functional Qualities
- The Declarative Problem Frame: Designing Systems that Create and Use Norms / R. J. Wieringa 75
- Superposing Connectors / M. Wermelinger, A. Lopes, J. L. Fiadeiro 87
- Issues in Analyzing the Behavior of Event Dispatching Systems / G. Bricconi, E. Di Nitto, E. Tracanella 95
- Design and Development Assessment / S. L. Cornford, M. S. Feather, J. C. Kelly, T. W. Larson, B. Sigal, J. D. Kiper 105
- Formalising ERP Selection Criteria / X. B. Illa, X. Franch, J. A. Pastor 115
- Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models / F. T. Sheldon, S. Grenier, M. Benzinger 123
- Software Architecture Analysis Based on Statechart Semantics / M. S. Dias, M. E. R. Vieira 133
- Track II [In]completeness, [In]consistency and [Sufficient] Correctness
- Using XML to Build Consistency Rules for Distributed Specifications / A. Zisman, W. Emmerich, A. Finkelstein 141
- Dependency Relations between Models in the Unified Process / C. Pons, R. Giandini, G. Baum 149
- An Approach to Preserving Sufficient Correctness in Open Resource Coalitions / O. Raz, M. Shaw 159
- Formal Tools for Managing Inconsistency and Change in RE / A. K. Ghose 171
- The Complexity of TRMCS-like Spiral Specification / T. Menzies 183
- The Dangerous "All" in Specifications / D. M. Berry, E. Kamsties 191
- Design Guidance through the Controlled Application of Constraints / A. G. Cass, L. Osterweil 195.
- Notes:
- Includes bibliographical references and author index.
- "IEEE Computer Society Order Number PR00884"--T.p. verso.
- ISBN:
- 0769508847
- 9780769508849
- 0769508863
- 9780769508863
- OCLC:
- 45610848
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.