![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
1st SIGSOFT FSE 1993: Los Angeles, California, USA
- David Notkin:
Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993, Los Angeles, California, USA, December 7-10, 1993. ACM 1993, ISBN 978-0-89791-625-7
ACM SIGSOFT Software Engineering Notes 18(5), December 1993
- C. A. R. Hoare:
Algebra and Models. 1-8 - Gregory D. Abowd, Robert Allen, David Garlan:
Using Style to Understand Descriptions of Software Architecture. 9-20 - Robert Balzer, K. Narayanaswamy:
Mechanisms for Generic Process Support. 21-32 - Boris Magnusson, Ulf Asklund, Sten Minör:
Fine-Grained Revision Control for Collaborative Software Development. 33-41 - William G. Griswold
:
Direct Update of Data Flow Representations for a Meaning-Preserving Program Restructuring Tool. 42-55 - Peri L. Tarr, Lori A. Clarke:
PLEIADES: An Object Management System for Software Engineering Environments. 56-70 - Jiazhen Cai, Robert Paige:
Towards Increased Productivity of Algorithm Implementation. 71-78 - Kenneth R. Wood:
A Practical Approach to Software Engineering Using Z and the Refinement Calculus. 79-88 - David A. Carrington, David J. Duke, Ian J. Hayes
, Jim Welsh:
Deriving Modular Designs from Formal Specifications. 89-98 - Robyn R. Lutz
:
Targeting Safety-Related Errors During Software Requirements Analysis. 99-106 - Lawrence G. Votta:
Does Every Inspection Need a Meeting? 107-114 - Shing-Chi Cheung, Jeff Kramer:
Enhancing Compositional Reachability Analysis with Context Constraints. 115-125 - Jean Paul Bahsoun, Stephan Merz, Corinne Servieres:
A Framework for Programming and Formalizing Concurrent Objects. 126-137 - Russell Turpin:
A Logical Approach to Data Structures. 138-148 - Francesco Bergadano
:
Test Case Generation by Means of Learning Techniques. 149-162 - David A. Gustafson, Joo T. Tan, Perla Weaver:
Software Measure Specification. 163-168 - Andy Podgurski, Charles Yang:
Partition testing, stratified sampling, and cluster analysis. 169-181 - Amy Moormann Zaremski, Jeannette M. Wing:
Signature Matching: A Key to Reuse. 182-190 - Don S. Batory, Vivek Singhal, Marty Sirkin, Jeff Thomas:
Scalable Software Libraries. 191-199
![](https://dblp.org/img/cog.dark.24x24.png)
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.