Radical innovations of software and systems engineering in the future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers
This volume contains the papers from the workshop Radical Innovations of Software and Systems Engineering in the Future. This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporativní autor: | |
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
2941 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Radical innovations of software and systems engineering in the future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11. 2002, revised papers, Martin Wirsing, Alexander Knapp, Simonetta Balsamo, Eds, Berlin, Springer, 2004, 1 vol. (X-357 p.), Lecture notes in computer science, 3-540-21179-9 • Radical Innovations of Software and Systems Engineering in the Future, Texte imprimé, 9783662169940 |
| LEADER | 05315nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 971714 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155211692 | ||
| 020 | |a 9783540246268 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Wirsing, Martin, |d 1948- | |
| 245 | 1 | 0 | |a Radical innovations of software and systems engineering in the future : |b 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers |c [edited by] Martin Wirsing, Alexander Knapp, Simonetta Balsamo. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2941 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Architecture Specific Models: Software Design on Abstract Platforms -- Tight Structuring for Precise UML-Based Requirement Specifications -- Integrating Performance Modeling in the Software Development Process -- The Inevitable Pain of Software Development: Why There Is No Silver Bullet -- Toward Component-Oriented Formal Software Development: An Algebraic Approach -- Higher Order Applicative XML Documents -- A New Paradigm for Requirements Specification and Analysis of System-of-Systems -- Towards Ontology Driven Software Design -- A Model Based Development Approach for Distributed Embedded Systems -- Pervasive Challenges for Software Components -- Model Generation for Legacy Systems -- Automatic Failures-Free Connector Synthesis: An Example -- Module Dependences in Software Design -- Towards Fully Automatic Execution Monitoring -- Automation of Software System Development Using Natural Language Processing and Two-Level Grammar -- A General Resource Framework for Real-Time Systems -- Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems -- A Computational Model for Complex Systems of Embedded Systems -- Software Evolution as the Key to Productivity -- Model-Checking Complex Software A Memory Perspective -- Agile Modeling with the UML -- Predictable Component Architectures Using Dependent Finite State Machines -- From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering -- View Consistency in Software Development. | |
| 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 volume contains the papers from the workshop Radical Innovations of Software and Systems Engineering in the Future. This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in?uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de?ciencies of these new approaches: there is no proof and no evidence that software productivity has increased with the new methods; UML has no clean scienti?c foundations, which inhibits the construction of powerful analysis and development tools; support for mobile distributed system development is missing; formanyapplications,object-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Ingénierie des systèmes | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Knapp, Alexander, |d 1971- |4 pbd | |
| 700 | 1 | |a Balsamo, Simonetta, |d 1958-...., |c informaticienne. |4 pbd | |
| 711 | 2 | |a RISSEF 2002 |n (9 |d :2002 |c :Venice, IT). |4 aut | |
| 776 | 0 | |0 078134439 |t Radical innovations of software and systems engineering in the future |o 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11. 2002 |o revised papers |f Martin Wirsing, Alexander Knapp, Simonetta Balsamo, Eds |c Berlin |n Springer |d 2004 |p 1 vol. (X-357 p.) |s Lecture notes in computer science |z 3-540-21179-9 | |
| 776 | 0 | |t Radical Innovations of Software and Systems Engineering in the Future |b Texte imprimé |z 9783662169940 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b96009 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-C4HG8KC2-F |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750649550 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b96009 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754000109 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b96009 |z Accès INSA CVL | |
| 997 | |0 971714 |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/ | ||