About this book


This coherently written book is the final report on the IPSEN project on Integrated Software Project Support Environments devoted to the integration of tools for the development and maintenance of large software systems.
The theoretical and application-oriented findings of this comprehensive project are presented in the following chapters: Overview: introduction, classification, and global approach; The outside perspective: tools, environments, their integration, and user interface; Internal conceptual modeling: graph grammar specifications; Realization: derivation of efficient tools, Current and future work, open problems; Conclusion: summary, evaluation, and vision. Also included is a comprehensive bibliography listing more than 1300 entries and a detailed index.


Formale Spezifikation Software-Entwicklungsumgebungen Toolintegration classification formal specification modeling software architecture tool tools

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61985-7
  • Online ISBN 978-3-540-49578-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site