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.
Model Driven Engineering Languages and Systems : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings / / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio
| Model Driven Engineering Languages and Systems : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings / / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 694 p.) |
| Disciplina | 005.117 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer simulation Management information systems Computer science Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-540-45773-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote 1 -- A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 -- An Experimental Investigation of UML Modeling Conventions -- Improving the Definition of UML -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study at Two Companies -- Use Case Driven Iterative Development: Hurdles and Solutions -- Model-Driven Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis and Synthesis of Concrete Syntax -- Correctly Defined Concrete Syntax for Visual Modeling Languages -- Applying UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications -- Aspects -- Domain Models Are NOT Aspect Free -- A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects -- Model Integration -- Package Merge in UML 2: Practice vs. Theory? -- Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis -- Merging Models with the Epsilon Merging Language (EML) -- Formal Semantics of UML -- Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 -- Semantic Variations Among UML StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT-Based Domain Architecture for Model Driven Security -- MDA-Based Re-engineering with Object-Z -- A Model Transformation Semantics and Analysis Methodology for SecureUML -- Model Transformation Tools and Implementation -- Incremental Model Transformation for the Evolution of Model-Driven Systems -- A Plugin-Based Language to Experiment with Model Transformation -- SiTra: Simple Transformations in Java -- Analyzing Dynamic Models -- Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models -- Model Extraction Using Context Information -- Dynamic and Generic Manipulation of Models: From Introspection to Scripting -- Specifying Transformations -- Model Transformation by Example -- Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework -- Model Transformations? Transformation Models! -- MOF -- A Mapping Language from Models to DI Diagrams -- Basic Operations over Models Containing Subset and Union Properties -- A Metamodeling Approach to Pattern Specification -- Keynote 2 -- Immune System Computation and the Immunological Homunculus -- Bridging Models -- Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach -- Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages -- Incremental Model Synchronization with Triple Graph Grammars -- Risk, Trust and Dependability -- Model-Driven Assessment of Use Cases for Dependable Systems -- A Graphical Approach to Risk Identification, Motivated by Empirical Investigations -- Reusable MDA Components: A Testing-for-Trust Approach -- Tool Environments -- Using Smalltalk as a Reflective Executable Meta-language -- UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 -- Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment -- OCL -- An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE -- An OCL Semantics Specified with QVT -- Specification of Invariability in OCL -- Roundtrip Engineering -- Framework-Specific Modeling Languages with Round-Trip Engineering -- A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems -- Layered Class Diagrams: Supporting the Design Process -- Real Time and Embedded Systems -- Using UML Activities for System-on-Chip Design and Synthesis -- Modeling and Early Performance Estimation for Network Processor Applications -- A Formal Semantics of UML-RT -- Workshops, Tutorials and Panels -- Workshops and Symposia at MoDELS 2006 -- Tutorials at MoDELS 2006 -- Panels at MoDELS 2006. |
| Altri titoli varianti | MoDELS'06 |
| Record Nr. | UNINA-9910484668503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Driven Engineering Languages and Systems : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings / / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio
| Model Driven Engineering Languages and Systems : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings / / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 694 p.) |
| Disciplina | 005.117 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer simulation Management information systems Computer science Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-540-45773-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote 1 -- A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 -- An Experimental Investigation of UML Modeling Conventions -- Improving the Definition of UML -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study at Two Companies -- Use Case Driven Iterative Development: Hurdles and Solutions -- Model-Driven Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis and Synthesis of Concrete Syntax -- Correctly Defined Concrete Syntax for Visual Modeling Languages -- Applying UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications -- Aspects -- Domain Models Are NOT Aspect Free -- A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects -- Model Integration -- Package Merge in UML 2: Practice vs. Theory? -- Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis -- Merging Models with the Epsilon Merging Language (EML) -- Formal Semantics of UML -- Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 -- Semantic Variations Among UML StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT-Based Domain Architecture for Model Driven Security -- MDA-Based Re-engineering with Object-Z -- A Model Transformation Semantics and Analysis Methodology for SecureUML -- Model Transformation Tools and Implementation -- Incremental Model Transformation for the Evolution of Model-Driven Systems -- A Plugin-Based Language to Experiment with Model Transformation -- SiTra: Simple Transformations in Java -- Analyzing Dynamic Models -- Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models -- Model Extraction Using Context Information -- Dynamic and Generic Manipulation of Models: From Introspection to Scripting -- Specifying Transformations -- Model Transformation by Example -- Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework -- Model Transformations? Transformation Models! -- MOF -- A Mapping Language from Models to DI Diagrams -- Basic Operations over Models Containing Subset and Union Properties -- A Metamodeling Approach to Pattern Specification -- Keynote 2 -- Immune System Computation and the Immunological Homunculus -- Bridging Models -- Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach -- Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages -- Incremental Model Synchronization with Triple Graph Grammars -- Risk, Trust and Dependability -- Model-Driven Assessment of Use Cases for Dependable Systems -- A Graphical Approach to Risk Identification, Motivated by Empirical Investigations -- Reusable MDA Components: A Testing-for-Trust Approach -- Tool Environments -- Using Smalltalk as a Reflective Executable Meta-language -- UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 -- Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment -- OCL -- An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE -- An OCL Semantics Specified with QVT -- Specification of Invariability in OCL -- Roundtrip Engineering -- Framework-Specific Modeling Languages with Round-Trip Engineering -- A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems -- Layered Class Diagrams: Supporting the Design Process -- Real Time and Embedded Systems -- Using UML Activities for System-on-Chip Design and Synthesis -- Modeling and Early Performance Estimation for Network Processor Applications -- A Formal Semantics of UML-RT -- Workshops, Tutorials and Panels -- Workshops and Symposia at MoDELS 2006 -- Tutorials at MoDELS 2006 -- Panels at MoDELS 2006. |
| Altri titoli varianti | MoDELS'06 |
| Record Nr. | UNISA-996466111403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers / / edited by Maura Cerioli, Gianna Reggio
| Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers / / edited by Maura Cerioli, Gianna Reggio |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 348 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Computer science—Mathematics Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Software Engineering |
| ISBN | 3-540-45645-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interactive Rule-Based Specification with an Application to Visual Language Definition -- Algebraic Abstractions -- Combining Logics: Parchments Revisited -- Canonical Institutions of Behaviour -- The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications -- On the Compatibility of Model and Model-Class Transformations -- Verifying a Simple Pipelined Microprocessor Using Maude -- Verifying Architectural Specifications -- Geometric Modelling with CASL -- A Compositional Approach to Connector Construction -- Institution Independent Static Analysis for Casl -- Tight and Loose Semantics for Transformation Systems -- Presentations for Abstract Context Institutions -- Programs, Proofs and Parametrized Specifications -- Towards Trustworthy Specification I: Consistency Checks -- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. |
| Record Nr. | UNINA-9910143918303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers / / edited by Maura Cerioli, Gianna Reggio
| Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers / / edited by Maura Cerioli, Gianna Reggio |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 348 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Computer science—Mathematics Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Software Engineering |
| ISBN | 3-540-45645-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interactive Rule-Based Specification with an Application to Visual Language Definition -- Algebraic Abstractions -- Combining Logics: Parchments Revisited -- Canonical Institutions of Behaviour -- The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications -- On the Compatibility of Model and Model-Class Transformations -- Verifying a Simple Pipelined Microprocessor Using Maude -- Verifying Architectural Specifications -- Geometric Modelling with CASL -- A Compositional Approach to Connector Construction -- Institution Independent Static Analysis for Casl -- Tight and Loose Semantics for Transformation Systems -- Presentations for Abstract Context Institutions -- Programs, Proofs and Parametrized Specifications -- Towards Trustworthy Specification I: Consistency Checks -- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. |
| Record Nr. | UNISA-996465316703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Trends in Data Type Specification [[electronic resource] ] : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers / / edited by Egidio Astesiano, Gianna Reggio
| Recent Trends in Data Type Specification [[electronic resource] ] : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers / / edited by Egidio Astesiano, Gianna Reggio |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (VIII, 532 p.) |
| Disciplina | 005.7/3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Software engineering Programming languages (Electronic computers) Computer logic Data Structures and Information Theory Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-49198-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Combining algebra and universal algebra in first-order theorem proving: The case of commutative rings -- Bulk types and query language design -- From abstract data types to logical frameworks -- Algebraic specification languages: An overview -- Types, subtypes, and ASL+ -- On the operational semantics of the algebraic and logic programming language LPG -- Behavioural theories -- Equations for describing dynamic nets of communicating systems -- A lazy approach to partial algebras -- Transactions in object-oriented specifications -- Local specification of distributed families of sequential objects -- Dynamic abstract data types based on algebraic graph transformations -- Modular termination of term rewriting systems revisited -- Institutions for behaviour specification -- An algebraic semantics for the object specification language TROLL light -- Defining equations in terminal coalgebras -- Sort inheritance for order-sorted equational presentations -- Axiomatic specification of large information systems: Experiences and consequences -- An object-oriented airport: Specification and refinement in Maude -- Topological methods for algebraic specification -- A hierarchy of institutions separated by properties of parameterized abstract data types -- Dynamical behavior of object systems -- A theory-based topological notion of institution -- Typing abstract data types -- Multialgebras, power algebras and complete calculi of identities and inclusions -- Institutional frames -- Implementation of data structures in an imperative framework -- What is an Abstract Data Type, after all?. |
| Record Nr. | UNISA-996466118803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| 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. | UNINA-9910143878803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 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 | ||
| ||
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. | UNINA-9910484271603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scientific Engineering of Distributed Java Applications [[electronic resource] ] : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers / / edited by Nicoals Guelfi, Egidio Astesiano, Gianna Reggio
| Scientific Engineering of Distributed Java Applications [[electronic resource] ] : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers / / edited by Nicoals Guelfi, Egidio Astesiano, Gianna Reggio |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 158 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Computer communication systems Information storage and retrieval Application software Programming Techniques Software Engineering Computer Communication Networks Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| ISBN |
1-280-30699-8
9786610306992 3-540-24639-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Framework for Resolution of Deployment Dependencies in Java-Enabled Service Gateways -- A Framework for Resolution of Deployment Dependencies in Java-Enabled Service Gateways -- A Java Package for Class and Mixin Mobility in a Distributed Setting -- Streaming Services: Specification and Implementation Based on XML and JMF -- Hard Real-Time Implementation of Embedded Software in JAVA -- Experiment on Embedding Interception Service into Java RMI -- BANip: Enabling Remote Healthcare Monitoring with Body Area Networks -- Structural Testing of Mobile Agents -- A Model of Error Management for Financial Systems -- Software Model Engineering and Reuse with the Evolution and Validation Environment -- Distributed Composite Objects: A New Object Model for Cooperative Applications -- A Java-Based Uniform Workbench for Simulating and Executing Distributed Mobile Applications -- Seamless UML Support for Service-Based Software Architectures -- Model Generation for Distributed Java Programs -- Keynote Talks -- Software Inspections We Can Trust -- Tutorials -- J2EE and .NET: Interoperability with Webservices. |
| Record Nr. | UNISA-996466051903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
