Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Rapid Integration of Software Engineering Techniques [[electronic resource] ] : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers / / edited by Nicolas Guelfi, Anthony Savidis
| Rapid Integration of Software Engineering Techniques [[electronic resource] ] : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers / / edited by Nicolas Guelfi, Anthony Savidis |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 290 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-34064-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Doing More with Contracts: Towards Automatic Tests and Proofs -- Using Stepwise Feature Introduction in Practice: An Experience Report -- Rapid System Development Via Product Line Architecture Implementation -- User Centred Rapid Application Development -- Software Testing with Evolutionary Strategies -- A Technique to Represent Product Line Core Assets in MDA/PIM for Automation -- Modeling Safety Case Evolution – Examples from the Air Traffic Management Domain -- Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs -- Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach -- Prototyping Domain Specific Languages with COOPN -- An Improved Case-Based Approach to LTL Model Checking -- Synthesized UML, a Practical Approach to Map UML to VHDL -- Towards Service-Based Business Process Modeling, Prototyping and Integration -- Formal Development of Reactive Fault Tolerant Systems -- Network Structure and Traffic Modeling and Simulation with CO-OPN -- Balancing Agility and Discipline with XPrince -- Extreme89: An XP War Game. |
| Record Nr. | UNISA-996465874303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rapid integration of software engineering techniques : second international workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005 : revised selected papers / / Nicolas Guelfi, Anthony Savidis (eds.)
| Rapid integration of software engineering techniques : second international workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005 : revised selected papers / / Nicolas Guelfi, Anthony Savidis (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | 1 online resource (X, 290 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
GuelfiNicolas <1965->
SavidisAnthony |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Software engineering
Computer software Integrated software |
| ISBN | 3-540-34064-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Doing More with Contracts: Towards Automatic Tests and Proofs -- Using Stepwise Feature Introduction in Practice: An Experience Report -- Rapid System Development Via Product Line Architecture Implementation -- User Centred Rapid Application Development -- Software Testing with Evolutionary Strategies -- A Technique to Represent Product Line Core Assets in MDA/PIM for Automation -- Modeling Safety Case Evolution – Examples from the Air Traffic Management Domain -- Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs -- Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach -- Prototyping Domain Specific Languages with COOPN -- An Improved Case-Based Approach to LTL Model Checking -- Synthesized UML, a Practical Approach to Map UML to VHDL -- Towards Service-Based Business Process Modeling, Prototyping and Integration -- Formal Development of Reactive Fault Tolerant Systems -- Network Structure and Traffic Modeling and Simulation with CO-OPN -- Balancing Agility and Discipline with XPrince -- Extreme89: An XP War Game. |
| Altri titoli varianti | RISE 2005 |
| Record Nr. | UNINA-9910484897603321 |
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||