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.
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems
| Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2007 |
| Descrizione fisica | 1 online resource (62 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | EFTS 2007 |
| Record Nr. | UNINA-9910376413403321 |
| [Place of publication not identified], : ACM, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2008 Rise/Efts Joint International Workshop on Software Engineering for Resilient Systems
| Proceedings of the 2008 Rise/Efts Joint International Workshop on Software Engineering for Resilient Systems |
| Autore | Guelfi Nicolas |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2008 |
| Descrizione fisica | 1 online resource (133 p.;) |
| Collana | ACM Conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SERENE '08 |
| Record Nr. | UNINA-9910376172403321 |
Guelfi Nicolas
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 [[electronic resource] ] : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / / edited by Nicolas Guelfi
| Rapid Integration of Software Engineering Techniques [[electronic resource] ] : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / / edited by Nicolas Guelfi |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 145 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Management information systems Computer science Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems |
| 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. |
| Record Nr. | UNISA-996465817803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Scientific Engineering for Distributed Java Applications [[electronic resource] ] : International Workshop, FIDJI 2002, Luxembourg, Luxembourg, November 28-29, 2002, Revised Papers / / edited by Nicolas Guelfi, Egidio Astesiano, Gianna Reggio
| Scientific Engineering for Distributed Java Applications [[electronic resource] ] : International Workshop, FIDJI 2002, Luxembourg, Luxembourg, November 28-29, 2002, Revised Papers / / edited by Nicolas Guelfi, Egidio Astesiano, Gianna Reggio |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 206 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Computer communication systems Artificial intelligence Programming Techniques Software Engineering Computer Communication Networks Artificial Intelligence |
| ISBN | 3-540-36520-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context -- A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context -- Auction System Design Using Open Multithreaded Transactions -- Critical Evaluation of the EJB Transaction Model -- Automated Prototyping of CORBA-Based Distributed Object-Oriented Systems -- Automated Prototyping of CORBA-Based Distributed Object-Oriented Systems -- Jawa: A Java Tool-Kit for Mobile Objects Applications -- Jawa: A Java Tool-Kit for Mobile Objects Applications -- Performance Analysis of Java Group Toolkits: A Case Study -- Performance Analysis of Java Group Toolkits: A Case Study -- A Java-Based, System for Collaborative Design and Manufacturing -- A Java-Based, System for Collaborative Design and Manufacturing -- Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems -- Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems -- An Experience in Architectural Extensions: Active Objects in J2EE -- An Experience in Architectural Extensions: Active Objects in J2EE -- Generating application development environments for Java frameworks -- Generating Pattern-Based Web Tutorials for Java Frameworks -- A framework to dynamically manage distributed virtual environments. Virtual Worlds -- Massively Distributed Virtual Worlds: A Framework Approach MaDViWorld: A Java Software Framework for Massively Distributed Virtual Worlds -- Distributed Java Platform with Programmable MIMD Capabilities -- Distributed Java Platform with Programmable MIMD Capabilities -- JGrid: Exploiting Jini for the Development of Grid Applications -- JGrid: Exploiting Jini for the Development of Grid Applications -- The EVOLVE Project: Component-Based Tailorability for CSCW Applications -- Managing Dependencies in Component-Based Distributed Applications -- JTN:A Java-Targeted Graphical Formal Notations for Reactive and Concurrent Systems -- A Notation for Component-Based Design of Java Applications -- On Building Testable Software Components -- WCT: A Wrapper for Component Testing -- Jada-Coordination and Communication for Java Agents -- A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces -- Keynote Talks -- Designing Fault-Tolerant Mobile Systems -- The Role of OCL in the Model Driven Architecture -- Tutorials -- Requirements Elicitation with Use Cases -- Java Threads Can Be Very Useful Building Blocks. |
| Record Nr. | UNISA-996465474803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Scientific Engineering for Distributed Java Applications : International Workshop, FIDJI 2002, Luxembourg, Luxembourg, November 28-29, 2002, Revised Papers / / edited by Nicolas Guelfi, Egidio Astesiano, Gianna Reggio
| Scientific Engineering for Distributed Java Applications : International Workshop, FIDJI 2002, Luxembourg, Luxembourg, November 28-29, 2002, Revised Papers / / edited by Nicolas Guelfi, Egidio Astesiano, Gianna Reggio |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 206 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Computer communication systems Artificial intelligence Programming Techniques Software Engineering Computer Communication Networks Artificial Intelligence |
| ISBN | 3-540-36520-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context -- A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context -- Auction System Design Using Open Multithreaded Transactions -- Critical Evaluation of the EJB Transaction Model -- Automated Prototyping of CORBA-Based Distributed Object-Oriented Systems -- Automated Prototyping of CORBA-Based Distributed Object-Oriented Systems -- Jawa: A Java Tool-Kit for Mobile Objects Applications -- Jawa: A Java Tool-Kit for Mobile Objects Applications -- Performance Analysis of Java Group Toolkits: A Case Study -- Performance Analysis of Java Group Toolkits: A Case Study -- A Java-Based, System for Collaborative Design and Manufacturing -- A Java-Based, System for Collaborative Design and Manufacturing -- Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems -- Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems -- An Experience in Architectural Extensions: Active Objects in J2EE -- An Experience in Architectural Extensions: Active Objects in J2EE -- Generating application development environments for Java frameworks -- Generating Pattern-Based Web Tutorials for Java Frameworks -- A framework to dynamically manage distributed virtual environments. Virtual Worlds -- Massively Distributed Virtual Worlds: A Framework Approach MaDViWorld: A Java Software Framework for Massively Distributed Virtual Worlds -- Distributed Java Platform with Programmable MIMD Capabilities -- Distributed Java Platform with Programmable MIMD Capabilities -- JGrid: Exploiting Jini for the Development of Grid Applications -- JGrid: Exploiting Jini for the Development of Grid Applications -- The EVOLVE Project: Component-Based Tailorability for CSCW Applications -- Managing Dependencies in Component-Based Distributed Applications -- JTN:A Java-Targeted Graphical Formal Notations for Reactive and Concurrent Systems -- A Notation for Component-Based Design of Java Applications -- On Building Testable Software Components -- WCT: A Wrapper for Component Testing -- Jada-Coordination and Communication for Java Agents -- A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces -- Keynote Talks -- Designing Fault-Tolerant Mobile Systems -- The Role of OCL in the Model Driven Architecture -- Tutorials -- Requirements Elicitation with Use Cases -- Java Threads Can Be Very Useful Building Blocks. |
| Record Nr. | UNINA-9910143878803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scientific Engineering of Distributed Java Applications [[electronic resource] ] : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / / edited by Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky
| Scientific Engineering of Distributed Java Applications [[electronic resource] ] : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / / edited by Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 134 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Information storage and retrieval Multimedia information systems Computer communication systems Computer programming Software Engineering Information Systems Applications (incl. Internet) Information Storage and Retrieval Multimedia Information Systems Computer Communication Networks Programming Techniques |
| 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. |
| Record Nr. | UNISA-996465943303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||