default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th IWSSD 1993: Redondo Beach, CA, USA
- Jack C. Wileden, Martin S. Feather, Axel van Lamsweerde:
Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993. IEEE Computer Society 1993
Opening Address
- T. S. E. Maibaum:
Taking More of the Soft out of Software Engineering. IWSSD 1993: 2-7
Experience Papers
- Fuyau Lin:
Design and Validation of a Message-Passing System. IWSSD 1993: 10-19 - H. Conrad Cunningham, Yinxiu Cai:
Specification and Refinement of a Message Router. IWSSD 1993: 20-29 - R. Das, Alan D. Fekete:
Modular Reasoning About Open Systems: A Case Study of Distributed Commit. IWSSD 1993: 30-39
Position Papers
- Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer:
Fine-Grain Process Modelling. IWSSD 1993: 42-46 - Dilip Soni, Robert L. Nord, Liang H. Hsu:
An Empirical Approach to Software Architectures. IWSSD 1993: 47-51 - Alistair G. Sutcliffe, Neil A. M. Maiden:
Bridging the Requirements Gap: Policies, Goals, and Domains. IWSSD 1993: 52-55 - Ugo A. Buy, Robert Sloan:
A Petri-Net -Based Approach to Real-Time Program Analysis. IWSSD 1993: 56-60
Requirements Engineering
- Colin Potts, Kenji Takahashi:
An Active Hypertext Model for System Requirements. IWSSD 1993: 62-68 - Carlo Ghezzi, Mauro Pezzè:
Towards Extensible Graphical Formalisms. IWSSD 1993: 69-77 - Oscar Barros:
Requirements Elicitation and Formalization Through External Design and Object-Oriented Specification. IWSSD 1993: 78-87
Real-Time Systems
- Shiyuan Ding, Takuya Katayama:
Specifying Reactive Systems with Attributed Finite State Machines. IWSSD 1993: 90-99 - James C. Corbett:
Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification. IWSSD 1993: 100-109 - Carlo Bellettini, Miguel Felder, Mauro Pezzè:
Merlot: A Tool for Analysis of Real-Time Specifications. IWSSD 1993: 110-119
Concurrency and Distribution
- Egidio Astesiano, Gianna Reggio:
Specifying Reactive Systems by Abstract Events. IWSSD 1993: 122-131 - Kenneth R. Wood:
A Pragmatic Basis for the Formal Development of Distributed Systems. IWSSD 1993: 132-140 - Kuo-Chung Tai, Pramod V. Koppol:
An Incremental Approach to Reachability Analysis of Distributed Programs. IWSSD 1993: 141-150
Formal Reasoning
- P. Wolff:
Related Specifications Reuse. IWSSD 1993: 152-161 - David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews:
A Framework for Program Development Based on Schematic Proof. IWSSD 1993: 162-171 - Yamine Aït Ameur:
Predicting Operational Behaviour of Abstract Programs During Formal Developments. IWSSD 1993: 172-181
Design Methods and Software Architectures
- Joanne L. Boyd, Gerald M. Karam:
Using Design Fragments to Modularize the Design of Communications in Concurrent Systems. IWSSD 1993: 184-193 - Alice Faulstich-Brady:
A Taxonomy of Inheritance Semantics. IWSSD 1993: 194-203 - Motoshi Saeki, Takeshi Hiroi, Takanori Ugai:
Reflective Specification: Applying A Reflective Language to Formal Specification. IWSSD 1993: 204-213 - David A. Marca, Clement L. McGowan:
Specifications Approaches Express Different World Hypotheses. IWSSD 1993: 214-223
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 2026-08-14 21:51 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
