Matches in Harvard for { <http://id.lib.harvard.edu/aleph/006793096/catalog> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- catalog abstract ""This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re- )engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development."--PUBLISHER'S WEBSITE.".
- catalog contributor b9432938.
- catalog contributor b9432939.
- catalog contributor b9432940.
- catalog created "c1995.".
- catalog date "1995".
- catalog date "c1995.".
- catalog dateCopyrighted "c1995.".
- catalog description ""This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re- )engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development."--PUBLISHER'S WEBSITE.".
- catalog description "Demands and Perspectives for Future Software Engineers: An Industrial Viewpoint / H. Schwartzel -- Why We Need Object Databases / F. Bancilhon -- A Personal Commitment to Software Quality / W.S. Humphrey -- Distributed Modeling and Distributed Enaction of Business Processes / G. Graw and V. Gruhn -- Improvise: Interactive Multimedia Process Visualization Environment / N.S. Barghouti, E. Koutsofios and E. Cohen -- Design Process Improvement Case Study Using Process Waiver Data / L.G. Votta and M.L. Zajac -- Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models / J. Tuya, L. Sanchez and J.A. Corrales -- Instrumentation of Synchronous Reactive Models for Performance Engineering / A. Valderruten Vidal, M. Vilares Ferro and J. Grana Gil -- A Formal Framework for ASTRAL Inter-level Proof Obligations / A. Coen-Porisini, R.A. Kemmerer and D. Mandrioli -- An Objective Reuse Metric: Model and Methodology / Y.-F. Chen, B. Krishnamurthy and K.-P. Vo.".
- catalog description "Includes bibliographical references.".
- catalog extent "xii, 519 p. :".
- catalog identifier "3540604065".
- catalog isPartOf "Lecture notes in computer science ; 989".
- catalog issued "1995".
- catalog issued "c1995.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "QA76.758 .E97 1995".
- catalog subject "Software engineering Congresses.".
- catalog tableOfContents "Demands and Perspectives for Future Software Engineers: An Industrial Viewpoint / H. Schwartzel -- Why We Need Object Databases / F. Bancilhon -- A Personal Commitment to Software Quality / W.S. Humphrey -- Distributed Modeling and Distributed Enaction of Business Processes / G. Graw and V. Gruhn -- Improvise: Interactive Multimedia Process Visualization Environment / N.S. Barghouti, E. Koutsofios and E. Cohen -- Design Process Improvement Case Study Using Process Waiver Data / L.G. Votta and M.L. Zajac -- Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models / J. Tuya, L. Sanchez and J.A. Corrales -- Instrumentation of Synchronous Reactive Models for Performance Engineering / A. Valderruten Vidal, M. Vilares Ferro and J. Grana Gil -- A Formal Framework for ASTRAL Inter-level Proof Obligations / A. Coen-Porisini, R.A. Kemmerer and D. Mandrioli -- An Objective Reuse Metric: Model and Methodology / Y.-F. Chen, B. Krishnamurthy and K.-P. Vo.".
- catalog title "Software engineering--ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995 : proceedings / Wilhelm Schäfer, Pere Botella, (eds.)".
- catalog type "Conference proceedings. fast".
- catalog type "text".