Studies of Software Design: ICSE'93 Workshop Maltimore, Maryland, USA, May 17–18, 1993 Selected Papers

This Book Contains A Refereed Collection Of Thoroughly Revised Full Papers Based On The Contributions Accepted For Presentation At The International Workshop On Studies Of Software Design, Held In Conjunction With The 1993 International Conference On Software Engineering, Icse'93, In Baltimore, Maryland, In May 1993. The Emphasis Of The 13 Papers Included Is On Methods For Studying, Analyzing, And Comparing Designs And Design Methods; The Topical Focus Is Primarily On The Software Architecture Level Of Design And On Techniques Suitable For Dealing With Large Software Systems. The Book Is Organized In Sections On Architectures, Tools, And Design Methods And Opens With A Detailed Introduction By The Volume Editor.--publisher's Website. Introduction : Studies Of Software Design / David Alex Lamb -- Many Faces Of Software Architecture / Dilip Soni [and Others] -- Procedure Calls Are The Assembly Language Of Software Interconnection : Connectors Deserve First-class Status / Mary Shaw -- Software Structure Characterization Using Connectivity / Thomas R. Dean And James R. Cordy -- Regularities In Software Systems / Naftaly H. Minsky -- Formal Approaches To Software Architecture / David Garlan -- Difficulties With Object-oriented Frameworks / Gail C. Murphy And David Notkin -- Using A Metasystem Approach To Support And Study The Design Process / Paul G. Sorenson And J.-paul Tremblay -- Constructing Software Design Theories And Models / Arthur Ryman -- Method Integration And Support For Distributed Software Development : An Overview / Jeff Kramer, Anthony Finkelstein And Bashar Nuseibeh -- Program Restructuring Via Design-level Manipulation / William G. Griswold And Robert W. Bowdidge -- Hierarchical Modular Diagrams : An Approach To Describe Architectural Designs / Jorge L. Diaz-herrera -- Structured And Formal Methods : An Investigative Framework / Michael G. Hinchey -- An Exploration Of Object-oriented Methodologies For System Analysis And Design / George Yuan And Nixon Patel. David Alex Lamb, Ed. Includes Bibliographical References. Introduction: Studies of software design....Pages 1-5 Many faces of software architecture....Pages 6-16 Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status....Pages 17-32 Software structure characterization using connectivity....Pages 33-48 Regularities in software systems....Pages 49-63 Formal approaches to software architecture....Pages 64-76 Difficulties with object-oriented frameworks....Pages 77-87 Using a metasystem approach to support and study the design process....Pages 88-102 Constructing software design theories and models....Pages 103-114 Method integration and support for distributed software development: An overview....Pages 115-126 Program restructuring via design-level manipulation....Pages 127-139 Hierarchical modular diagrams: An approach to describe architectural designs....Pages 140-150 Structured and formal methods: An investigative framework....Pages 151-163 An exploration of object-oriented methodologies for system analysis and design....Pages 164-188 This collection of 13 papers emphasizes methods of studying, analyzing and comparing designs and design methods. The topical focus is primarily in the software architecture level of design and on techniques suitable for dealing with large software systems.