Fundamental Approaches to Software Engineering [[electronic resource] ] : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / / edited by Ralf-Detlef Kutsche, Herbert Weber |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (VI, 342 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-45923-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Frameworks -- An Approach to Composition Motivated by wp -- Compositional Verification of Secure Applet Interactions -- A Generic Component Framework for System Modeling -- Model and Program Analysis -- Implementing Condition/Event Nets in the Circal Process Algebra -- Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs -- Model Generation by Moderated Regular Extrapolation -- Better Slicing of Programs with Jumps and Switches -- Architecture Descriptions -- Architectural Types Revisited: Extensible And/Or Connections -- Mapping an ADL to a Component-Based Application Development Environment -- From EDOC Components to CCM Components: A Precise Mapping Specification -- Meta-Models -- Engineering Modelling Languages: A Precise Meta-Modelling Approach -- AToM3: A Tool for Multi-formalism and Meta-modelling -- A Toolbox for Automating Visual Software Engineering -- Formal Approaches towards UML -- Enriching OCL Using Observational Mu-Calculus -- Formal Verification of UML Statecharts with Real-Time Extensions -- Requirements Engineering -- An Authoring Tool for Informal and Formal Requirements Specifications -- Introducing Context-Based Constraints -- Formal Requirements Engineering Using Observer Models -- Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach -- Meta-modeling Techniques Meet Web Application Design Tools -- Formal-Driven Conceptualization and Prototyping of Hypermedia Applications -- Tool Demonstrations -- The Coordination Development Environment -- The Key System: Integrating Object-Oriented Design and Formal Methods -- ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs -- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. |
Record Nr. | UNISA-996465548903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamental Approaches to Software Engineering : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / / edited by Ralf-Detlef Kutsche, Herbert Weber |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (VI, 342 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-45923-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Frameworks -- An Approach to Composition Motivated by wp -- Compositional Verification of Secure Applet Interactions -- A Generic Component Framework for System Modeling -- Model and Program Analysis -- Implementing Condition/Event Nets in the Circal Process Algebra -- Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs -- Model Generation by Moderated Regular Extrapolation -- Better Slicing of Programs with Jumps and Switches -- Architecture Descriptions -- Architectural Types Revisited: Extensible And/Or Connections -- Mapping an ADL to a Component-Based Application Development Environment -- From EDOC Components to CCM Components: A Precise Mapping Specification -- Meta-Models -- Engineering Modelling Languages: A Precise Meta-Modelling Approach -- AToM3: A Tool for Multi-formalism and Meta-modelling -- A Toolbox for Automating Visual Software Engineering -- Formal Approaches towards UML -- Enriching OCL Using Observational Mu-Calculus -- Formal Verification of UML Statecharts with Real-Time Extensions -- Requirements Engineering -- An Authoring Tool for Informal and Formal Requirements Specifications -- Introducing Context-Based Constraints -- Formal Requirements Engineering Using Observer Models -- Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach -- Meta-modeling Techniques Meet Web Application Design Tools -- Formal-Driven Conceptualization and Prototyping of Hypermedia Applications -- Tool Demonstrations -- The Coordination Development Environment -- The Key System: Integrating Object-Oriented Design and Formal Methods -- ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs -- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. |
Record Nr. | UNINA-9910143910903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Petri Net Technology for Communication-Based Systems [[electronic resource] ] : Advances in Petri Nets / / edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 468 p.) |
Disciplina | 004.6 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer science Computer communication systems Computers Computer logic Computer science—Mathematics Software Engineering Computer Science, general Computer Communication Networks Computation by Abstract Devices Logics and Meanings of Programs Discrete Mathematics in Computer Science |
ISBN | 3-540-40022-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY -- Application Development Assistance with the Petri Net Baukasten -- Petri Net Transformations in the ?Petri Net Baukasten? -- Four Steps Towards Sound Business Process Models -- Generation of Animation Views for Petri Nets in GenGED -- The Petri Net Kernel -- The Petri Net Markup Language -- Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets -- Rule-Based Refinement of Petri Nets: A Survey -- Modelling a Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative Engineering of Business Processes with VIPbusiness -- Inter-organizational Business Process Management with XML Nets -- Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL -- Open Petri Nets as Semantic Model for Workflow Integration -- Team Automata for CSCW – A Survey – -- Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets -- BASYSNET – An Integrated Approach for Automated Control System Development -- The Electronic Tool Integration Platform (ETI) and the Petri Net Technology -- Inheritance of Business Processes: A Journey Visiting Four Notorious Problems -- A Formal Framework for Petri Net Class Transformations -- Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. |
Record Nr. | UNISA-996466042303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets / / edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 468 p.) |
Disciplina | 004.6 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer science Computer communication systems Computers Computer logic Computer science—Mathematics Software Engineering Computer Science, general Computer Communication Networks Computation by Abstract Devices Logics and Meanings of Programs Discrete Mathematics in Computer Science |
ISBN | 3-540-40022-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY -- Application Development Assistance with the Petri Net Baukasten -- Petri Net Transformations in the ?Petri Net Baukasten? -- Four Steps Towards Sound Business Process Models -- Generation of Animation Views for Petri Nets in GenGED -- The Petri Net Kernel -- The Petri Net Markup Language -- Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets -- Rule-Based Refinement of Petri Nets: A Survey -- Modelling a Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative Engineering of Business Processes with VIPbusiness -- Inter-organizational Business Process Management with XML Nets -- Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL -- Open Petri Nets as Semantic Model for Workflow Integration -- Team Automata for CSCW – A Survey – -- Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets -- BASYSNET – An Integrated Approach for Automated Control System Development -- The Electronic Tool Integration Platform (ETI) and the Petri Net Technology -- Inheritance of Business Processes: A Journey Visiting Four Notorious Problems -- A Formal Framework for Petri Net Class Transformations -- Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. |
Record Nr. | UNINA-9910145798903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software Development Environments and Case Technology [[electronic resource] ] : European Symposium, Königswinter, June 17-19, 1991. Proceedings / / edited by Albert Endres, Herbert Weber |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (VIII, 292 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer-aided engineering Computer programming Information technology Business—Data processing Software Engineering/Programming and Operating Systems Computer-Aided Engineering (CAD, CAE) and Design Software Engineering Programming Techniques IT in Business |
ISBN | 3-540-47485-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Systems engineering environments of ATMOSPHERE -- Building IPSE's by combining heterogeneous case tools -- On the functional and architectural integration of CASE systems -- Development of a method driven CAS2E tool -- VSF and its relationship to open systems and standard repositories -- Adding control integration to PCTE -- Meta-case technology -- Management issues in software development -- Standardization of software development environments -- A software development environment for CIM applications -- A repository and other tools in a commercial development center -- Lessons learned from domino and grapes -- Should CASE be application dependent? -- Utilizing fifth generation technology in software development tools -- Integrated software components : A paradigm for control integration -- Formal methods in software development requirements for a CASE -- Modeling of software architectures: Importance, notions, experiences -- A configurable framework for method and tool integration -- Recent findings in software process maturity -- Validation and verification of software process models. |
Record Nr. | UNISA-996465551503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|