ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK September 11 15, 1989 : proceedings
The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software e...
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
387 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989, proceedings, C. Ghezzi, J.A. McDermid (eds.), Berlin, Springer-Verlag, 1989, 1 vol. (VI-496 p.), Lecture notes in computer science, 0-387-51635-2 • ESEC '89, Texte imprimé, 9783662181249 |
| LEADER | 05180nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 944638 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155195727 | ||
| 020 | |a 9783540467236 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a European software engineering conference |n (02 |d :1989 |c :Coventry). | |
| 245 | 1 | 0 | |a ESEC '89 : |b 2nd European Software Engineering Conference, University of Warwick, Coventry, UK September 11 15, 1989 : proceedings |c [edited by] C. Ghezzi, J. A. McDermid. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 387 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Software risk management -- MENU - an example for the systematic reuse of specifications -- Asking for the impossible: The state of the art in safety-related systems -- STEPS to software development with users -- The role of measurement in ISEEs -- An empirical and theoretical analysis of an information flow-based system design metric -- Systematic development of formal software process models -- Software process machines: A framework for future software development environments -- Practical experience of formal specification: A programming interface for communications -- Industrialising formal methods for telecommunications -- An application of the event calculus for representing the history of a software project -- Change oriented versioning -- Software change dynamics or half of all Ada compilations are redundant -- Version management in the PACT integrated software engineering environment -- Software engineering implications for formal refinement -- A rigorous development strategy using the OBJ specification language and the MALPAS program analysis tools -- Formal specification using structured systems analysis -- Tool integration in an open environment -- HCDM/GSDS A design environment for real-time software with automatic program generation -- Graph grammars, a new paradigm for implementing visual languages -- Structural modelling of Prolog for metrication -- Rule-based handling of software quality and productivity models -- An object-oriented approach to the system analysis -- A pluralistic knowledge-based approach to software specification -- PROTOB a hierarchical object-oriented CASE tool for distributed systems -- The internet worm incident -- Validation of concurrent Ada programs using symbolic execution -- Assay-a tool to support regression testing. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ghezzi, Carlo, |c informaticien. |4 pbd | |
| 700 | 1 | |a McDermid, John A, |d 1952- |4 pbd | |
| 776 | 0 | |0 021265844 |t ESEC '89 |o 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 |o proceedings |f C. Ghezzi, J.A. McDermid (eds.) |c Berlin |n Springer-Verlag |d 1989 |p 1 vol. (VI-496 p.) |s Lecture notes in computer science |z 0-387-51635-2 | |
| 776 | 0 | |t ESEC '89 |b Texte imprimé |z 9783662181249 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-51635-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-WVDSFZ7B-H |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747917884 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-51635-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750930438 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-51635-2 |z Accès INSA CVL | |
| 997 | |0 944638 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||