ESEC '91 [electronic resource] : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings / A. van Lamsweerde, A. Fuggetta, eds.
"The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of providing an international forum for researchers, developersand users of software engineering technology. The need for a mee...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1991.
|
| Series: | Lecture notes in computer science ;
550. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b11985768 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 121224s1991 gw a ob 100 0 eng d | ||
| 005 | 20240418144408.4 | ||
| 019 | |a 150398648 |a 321305190 |a 827359993 |a 866570406 |a 1005745316 |a 1081210748 | ||
| 020 | |a 9783540464464 |q (electronic bk.) | ||
| 020 | |a 3540464468 |q (electronic bk.) | ||
| 020 | |z 3540547428 |q (Berlin ; |q acid-free paper) | ||
| 020 | |z 9783540547426 |q (Berlin ; |q acid-free paper) | ||
| 020 | |z 0387547428 |q (New York ; |q acid-free paper) | ||
| 020 | |z 9780387547428 |q (New York ; |q acid-free paper) | ||
| 035 | |a (OCoLC)spr822889097 | ||
| 035 | |a (OCoLC)822889097 |z (OCoLC)150398648 |z (OCoLC)321305190 |z (OCoLC)827359993 |z (OCoLC)866570406 |z (OCoLC)1005745316 |z (OCoLC)1081210748 | ||
| 037 | |a spr3-540-54742-8 | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d NLGGC |d OCLCO |d CUSER |d OCLCF |d OCLCQ |d OCLCO |d KIJ |d GW5XE |d ITD |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d ESU |d OCLCQ |d VT2 |d OCLCQ | ||
| 042 | |a dlr | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.758 |b .E97 1991 | |
| 111 | 2 | |a European Software Engineering Conference |n (3rd : |d 1991 : |c Milan, Italy) | |
| 245 | 1 | 0 | |a ESEC '91 |h [electronic resource] : |b 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings / |c A. van Lamsweerde, A. Fuggetta, eds. |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c ©1991. | ||
| 300 | |a 1 online resource (xii, 515 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 550. | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a Software configuration management: Past uses and future challenges -- Architectural design for user interfaces -- The Eureka Software Factory: Concepts and accomplishments -- Integrating structured and formal methods: A visual approach to VDM -- Rational design of distributed applications -- Test data selection from algebraic specifications: Application to an automatic subway module -- Specification in COLD-1 of a CAD package for drawing shadow masks -- ASTRAL: An assertion language for specifying realtime systems -- Execution environment for ELECTRE applications -- An engineering approach to hard real-time system design -- An application of artificial intelligence to prototyping process in performance design for real-time systems -- Dynamically Replaceable Software: A design method -- Software merge: Models and methods for combining changes to programs -- A theory for software design extraction -- SESADA: An environment supporting software specialization -- Metric-driven classification analysis -- A dynamic failure model for predicting the impact that a program location has on the program -- Relation between source code metrics and structure analysis metrics -- Algebraic validation of software metrics -- An algebraic view of inheritance and subtyping in object oriented programming -- Scaling up rule-based software development environments -- Inference-based support for programming in the large -- TICKLE: Object-oriented description and composition services for software engineering environments -- Integrated project support environments, text generation and technical writing -- The Arcs experience -- Panel presentation -- The production of software in the FINSIEL group -- The impact of software engineering researches on industrial practice -- a personal view -- Impact of methods on productivity & quality -- Requirements engineering -- Getting right from wrong -- A (neat) alphabet of requirements engineering issues -- The scruffy side of requirements engineering -- Expediency and appropriate technology: An agenda for requirements engineering research in the 1990s -- CASE support for the software process -- CASE support for the software process: A research viewpoint -- CASE support for large systems -- CASE seen from both sides of the fence -- CASE support for the software process: Advances and problems. | |
| 520 | |a "The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of providing an international forum for researchers, developersand users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering researchin recent years, stimulated, for example, through major European research programmes. The 22 papers in these proceedings were selected from 133 papers submitted from 26 different countries. They cover a fairly broad range of themes such as formal methods and practical experiences with them, special techniques for real-time systems, software evolution and re-engineering, software engineering environments, and software metrics. Invited papers by well-known experts address further important areas: perspectives on configuration management, software factories, user interfacedesign, computer security, and technology transfer."--PUBLISHER'S WEBSITE. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Software engineering |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008111658. | |
| 650 | 7 | |a Software engineering. |2 fast |0 (OCoLC)fst01124185. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Lamsweerde, A. van |q (Axel) |0 http://id.loc.gov/authorities/names/no89008170 |1 http://isni.org/isni/0000000115974834. | |
| 700 | 1 | |a Fuggetta, A. |q (Alfonso), |d 1958- |0 http://id.loc.gov/authorities/names/n91098538 |1 http://isni.org/isni/0000000109991056. | |
| 776 | 0 | 8 | |i Print version: |a European Software Engineering Conference (3rd : 1991 : Milan, Italy). |t ESEC '91. |d Berlin ; New York : Springer-Verlag, ©1991 |w (DLC) 91037627 |w (OCoLC)24590307. |
| 776 | 0 | 8 | |i Online version: |a European Software Engineering Conference (3rd : 1991 : Milan, Italy). |t ESEC '91. |d Berlin ; New York : Springer-Verlag, ©1991 |w (OCoLC)866570406. |
| 830 | 0 | |a Lecture notes in computer science ; |v 550. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://link.springer.com/10.1007/3-540-54742-8 |z Full Text (via Springer) |
| 907 | |a .b119857686 |b 02-08-22 |c 10-28-21 | ||
| 998 | |a web |b 11-30-21 |c b |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b119857686 |b 12-01-21 |c 10-28-21 | ||
| 907 | |a .b119857686 |b 11-30-21 |c 10-28-21 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 907 | |a .b119857686 |b 10-28-21 |c 10-28-21 | ||
| 915 | |a - | ||
| 956 | |a Springer e-books | ||
| 999 | f | f | |i 0bac0ad8-b9d5-58a1-b80c-8a0e567494c5 |s a569432e-041a-5d69-bb37-ccc2498829ee |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.758 .E97 1991 |h Library of Congress classification |i Ebooks, Prospector |n 1 |