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.
Fundamental Approaches to Software Engineering [[electronic resource] ] : First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / / edited by Egidio Astesiano
| Fundamental Approaches to Software Engineering [[electronic resource] ] : First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / / edited by Egidio Astesiano |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (IX, 329 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-69723-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Extreme programming: A humanistic discipline of software development -- Some mistakes I have and what I have learned from them -- Specifying and analyzing dynamic software architectures -- Observational proofs with critical contexts -- Integrating AORTA with model-based data specification languages -- Specifying safety-critical embedded systems with statecharts and Z: A case study -- Specifying embedded systems with statecharts and Z: An agenda for cyclic software components -- Algebra transformation systems and their composition -- Navigation expressions in object-oriented modelling -- Compositional verification of reactive systems specified by graph transformation -- Reflections on the design of a specification language -- Constructs, concepts and criteria for reuse in concurrent object-oriented languages -- Backtracking-free design planning by automatic synthesis in metaframe -- Model-checking CSP-Z -- Rule-based refinement of high-level nets preserving safety properties -- Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms -- Behaviour analysis and safety conditions: A case study in CML -- Distributed safety controllers for web services -- A refinement calculus for statecharts -- Refining formal specifications of human computer interaction by graph rewrite rules -- RELVIEW — A system for calculating with relations and relational programming -- ALBERT: A formal language and its supporting tools for requirements engineering -- Moby/plc — A design tool for hierarchical real-time automata. |
| Record Nr. | UNISA-996466103803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / / edited by Egidio Astesiano
| Fundamental Approaches to Software Engineering [[electronic resource] ] : First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / / edited by Egidio Astesiano |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (IX, 329 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-69723-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Extreme programming: A humanistic discipline of software development -- Some mistakes I have and what I have learned from them -- Specifying and analyzing dynamic software architectures -- Observational proofs with critical contexts -- Integrating AORTA with model-based data specification languages -- Specifying safety-critical embedded systems with statecharts and Z: A case study -- Specifying embedded systems with statecharts and Z: An agenda for cyclic software components -- Algebra transformation systems and their composition -- Navigation expressions in object-oriented modelling -- Compositional verification of reactive systems specified by graph transformation -- Reflections on the design of a specification language -- Constructs, concepts and criteria for reuse in concurrent object-oriented languages -- Backtracking-free design planning by automatic synthesis in metaframe -- Model-checking CSP-Z -- Rule-based refinement of high-level nets preserving safety properties -- Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms -- Behaviour analysis and safety conditions: A case study in CML -- Distributed safety controllers for web services -- A refinement calculus for statecharts -- Refining formal specifications of human computer interaction by graph rewrite rules -- RELVIEW — A system for calculating with relations and relational programming -- ALBERT: A formal language and its supporting tools for requirements engineering -- Moby/plc — A design tool for hierarchical real-time automata. |
| Record Nr. | UNINA-9910768466203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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] ] : 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 | ||
| ||
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. | UNINA-9910767531603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||