default search action
9th IWSSD 1998: USA
- Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998. IEEE Computer Society 1998, ISBN 978-0-8186-8439-5
- Alan Kaplan, John V. E. Ridgway, Jack C. Wileden:
Why IDLs are Not Ideal. 2-6 - Foreword. 7
- Program and Organizing Committees. 8
- Francesco Coda, Carlo Ghezzi, Giovanni Vigna, Franca Garzotto:
Towards a Software Engineering Approach to Web Site Development. 8-17 - Andrew Simpson, Jim Woodcock, Jim Davies:
Safety through Security. 18-24 - Amy L. Murphy, Gruia-Catalin Roman, George Varghese:
An Exercise in Formal Reasoning about Mobile Communications. 25-33 - Eric Dubois, Michael Petit, Eric Yu:
From Early to Late Formal Requirements: A Process-Control Case Study. 34-42 - Steve Easterbrook, John R. Callahan, Virginie Wiels:
V & V through Inconsistency Tracking and Analysis. 43-49 - Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, Christophe Ponsard:
Reconciling System Requirements and Runtime Behavior. 50-59 - Xavier Franch, Pere Botella:
Putting non-functional requirements into software architecture. 60-67 - Julio César Sampaio do Prado Leite, María Carmen Leonardi:
Business Rules as Organizational Policies. 68-76 - Jens H. Weber, Albert Zündorf:
Specification and Implementation of a Distributed Planning and Information System for Courses Based on Story Driven Modeling. 77-86 - Roel J. Wieringa:
Traceability and Modularity in Software Design. 87-95 - Paolo Ciancarini, Giuseppe Franzè, Cecilia Mascolo:
A Coordination Model to Specify Systems Including Mobile Agents. 96-105 - Bruno Ginoux, Jean-Luc Dormoy, Claudia Jimenez-Dominguez, Jean-Yves Lucas, Laurent Pierre:
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs. 106-115 - Paola Inverardi, Calogero Mangano, Fabrizio Russo, Simonetta Balsamo:
Performance Evaluation of a Software Architecture: A Case Study. 116-125 - Nobukazu Yoshioka, Masato Suzuki, Takuya Katayama:
Incremental Software Development Method Based on Abstract Interpretation. 126-134 - Michel Wermelinger, José Luiz Fiadeiro:
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility. 135-143 - Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou:
Software Architecture Directed Behaviour Analysis. 144-146 - Daniel M. Berry:
The Safety Requirements Engineering Dilemma. 147-149 - Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich:
Modal Logic as a Design Notation. 150-152 - Maritta Heisel, Jeanine Souquières:
Methodological Support for Requirements Elicitation and Formal Specification. 153-155 - Bashar Nuseibeh, Alessandra Russo:
On the Consequences of Acting in the Presence of Inconsistency. 156-158 - Barbara Staudt Lerner, Stanley M. Sutton Jr., Leon J. Osterweil:
Enhancing Design Methods to Support Real Design Processes. 159-161 - Carlton Reid Turner, Alexander L. Wolf, Alfonso Fuggetta, Luigi Lavazza:
Feature Engineering. 162-164
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-27 20:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: