Software engineering - ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25 28, 1995 : proceedings
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...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
989 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Software engineering-- ESEC '95, 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, proceedings, Wilhelm Schäfer, Pere Botella, (eds.), Berlin, Springer, 1995, 1 vol. (XII-519 p.), Lecture notes in computer science, 3-540-60406-5 • Software Engineering - ESEC '95, Texte imprimé, 9783662167137 |
| LEADER | 05155nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 945375 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155225286 | ||
| 020 | |a 9783540455523 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a European software engineering conference |n (05 |d :1995 |c :Sitges). | |
| 245 | 1 | 0 | |a Software engineering - ESEC '95 : |b 5th European Software Engineering Conference, Sitges, Spain, September 25 28, 1995 : proceedings |c [edited by] Wilhelm Schäfer, Pere Botella. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 989 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Demands and perspectives for future software engineers: An industrial viewpoint -- Why we need object databases -- A personal commitment to software quality -- Distributed modeling and distributed enaction of business processes -- Improvise: Interactive multimedia process visualization environment -- Design process improvement case study using process waiver data -- Using a symbolic model checker for verify safety properties in SA/RT models -- Instrumentation of Synchronous Reactive Models for performance engineering -- A formal framework for ASTRAL inter-level proof obligations -- An objective reuse metric: Model and methodology -- Measuring product attributes of object-oriented systems -- Specifying distributed software architectures -- A specification-based methodology for testing concurrent programs -- Dynamic configuration abstraction -- Handling version sets through feature logic -- Integrating incremental analysis with version management -- Graph grammar engineering with PROGRES -- A structured analysis formalism with execution semantics to allow unambiguous model interpretation -- An integrated formal model of scenarios based on statecharts -- Tool support for formal software development: A generic architecture -- The treatment of non-functional requirements in MIKE -- Supporting design rationale for system evolution -- PQL: A language for specifying abstract program views -- An exploratory study of program metrics as predictors of reachability analysis performance -- An empirical evaluation of three defect-detection techniques -- Assessing the quality of large, software-intensive systems: A case study -- The impact of incremental delivery on maintenance effort: An analytical study -- Metrics for quality factors in the LESD project -- Quantitative evaluations of software quality built in with domain-specific disciplines -- Component Programming a fresh look at software components -- Designing a framework by stepwise generalization -- Object-oriented re-architecturing. | |
| 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 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. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Schäfer, Wilhelm, |d 1912-...., |c Paléontologue. |4 pbd | |
| 700 | 1 | |a Botella, Pere, |d 19..- |4 pbd | |
| 776 | 0 | |0 024505730 |t Software engineering-- ESEC '95 |o 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995 |o proceedings |f Wilhelm Schäfer, Pere Botella, (eds.) |c Berlin |n Springer |d 1995 |p 1 vol. (XII-519 p.) |s Lecture notes in computer science |z 3-540-60406-5 | |
| 776 | 0 | |t Software Engineering - ESEC '95 |b Texte imprimé |z 9783662167137 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60406-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-JLJSGWND-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747911061 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60406-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75092392X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60406-5 |z Accès INSA CVL | |
| 997 | |0 945375 |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/ | ||