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 : third international workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006 : revised selected papers / / edited by Nicolas Guelfi, Didier Buchs
| Rapid integration of software engineering techniques : third international workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006 : revised selected papers / / edited by Nicolas Guelfi, Didier Buchs |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (185 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Software engineering |
| ISBN |
1-280-86564-4
9786610865642 3-540-71876-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graphical Composition of Grid Services -- A UML 2.0 Profile for Architecting B3G Applications -- RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation -- Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain -- Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS -- Architectural Verification of Black-Box Component-Based Systems -- Systematic Generation of XML Instances to Test Complex Software Applications -- Transformations of UML 2 Models Using Concrete Syntax Patterns -- Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping -- SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping. |
| Record Nr. | UNINA-9910483537003321 |
| Berlin, Germany : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rapid integration of software engineering techniques : third international workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006 : revised selected papers / / edited by Nicolas Guelfi, Didier Buchs
| Rapid integration of software engineering techniques : third international workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006 : revised selected papers / / edited by Nicolas Guelfi, Didier Buchs |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (185 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Software engineering |
| ISBN |
1-280-86564-4
9786610865642 3-540-71876-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graphical Composition of Grid Services -- A UML 2.0 Profile for Architecting B3G Applications -- RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation -- Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain -- Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS -- Architectural Verification of Black-Box Component-Based Systems -- Systematic Generation of XML Instances to Test Complex Software Applications -- Transformations of UML 2 Models Using Concrete Syntax Patterns -- Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping -- SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping. |
| Record Nr. | UNISA-996465516303316 |
| Berlin, Germany : , : Springer, , [2007] | ||
| 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 | ||
| ||
Rapid integration of software engineering techniques : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004 : revised selected papers / / Nicolas Guelfi (ed.)
| Rapid integration of software engineering techniques : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004 : revised selected papers / / Nicolas Guelfi (ed.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (X, 145 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | GuelfiNicolas <1965-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Computer software |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language -- Towards a Methodology for Component-Driven Design -- Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification -- A Symbolic Model Checker for tccp Programs -- A Methodology and a Framework for Model-Based Testing -- An Exception Monitoring System for Java -- Distributed Exception Handling: Ideas, Lessons and Issues with Recent Exception Handling Systems -- A Model Based Approach to Design Applications for Network Processor -- A MOF-Based Metamodel for SA/RT -- Modelling SystemC Process Behavior by the UML Method State Machines -- My Favorite Editor Anywhere -- Invited Paper -- Combining System Development and System Test in a Model-Centric Approach. |
| Altri titoli varianti | RISE 2004 |
| Record Nr. | UNINA-9910483693103321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scientific engineering of distributed Java applications : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004 : revised selected papers / / Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky (eds.)
| Scientific engineering of distributed Java applications : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004 : revised selected papers / / Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2005 |
| Descrizione fisica | 1 online resource (X, 134 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
GuelfiNicolas <1965->
ReggioGianna <1957-> RomanovskyAlexander <1954-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Electronic data processing - Distributed processing Java (Computer program language) |
| ISBN |
3-540-31869-0
3-540-25053-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Design of Embedded Software: An Analysis of Design Issues -- Component-Based Design of Embedded Software: An Analysis of Design Issues -- How Design Patterns Affect Application Performance – A Case of a Multi-tier J2EE Application -- An MDA-Based Approach for Inferring Concurrency in Distributed Systems -- Task-Based Access Control for Virtual Organizations -- Self-Deployment of Distributed Applications -- Modeling and Analysis of Exception Handling by Using UML Statecharts -- Coordinated Anonymous Peer-to-Peer Connections with MoCha -- A Survey of Software Development Approaches Addressing Dependability -- FreeSoDA: A Web Services-Based Tool to Support Documentation in Distributed Projects -- A JMM-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote Talks -- Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations -- Towards a Precise UML-Based Development Method -- Tutorials -- Fault Tolerance – Concepts and Implementation Issues. |
| Altri titoli varianti |
Distributed Java applications
FIDJI 2004 |
| Record Nr. | UNINA-9910484271603321 |
| Berlin, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||