Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /
Keynote -- Symbiosis of Static Analysis and Program Testing -- Software Components -- An Ontology for Software Component Matching -- A Description Language for Composable Components -- A Logical Basis for the Specification of Reconfigurable Component-Based Systems -- An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems -- Mobile Computing -- Composing Specifications of Event Based Applications -- A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems -- Spatial Security Policies for Mobile Agents in a Sentient Computing Environment -- Aspect and Object-Oriented Programming -- Towards UML-Based Formal Specifications of Component-Based Real-Time Software -- Modelling Recursive Calls with UML State Diagrams -- Pipa: A Behavioral Interface Specification Language for Aspect -- PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features -- Distributed and Web Applications -- Model-Based Development of Web Applications Using Graphical Reaction Rules -- Modular Analysis of Dataflow Process Networks -- Software Measurements -- Foundations of a Weak Measurement-Theoretic Approach to Software Measurement -- An Information-Based View of Representational Coupling in Object-Oriented Systems -- Formal Verification -- A Temporal Approach to Specification and Verification of Pointer Data-Structures -- A Program Logic for Handling Java Card’s Transaction Mechanism -- Monad-Independent Hoare Logic in HASCASL -- Visual Specifications of Policies and Their Verification -- Analysis and Testing -- Automatic Model Driven Animation of SCR Specifications -- Probe Mechanism for Object-Oriented Software Testing -- Model Checking Software via Abstraction of Loop Transitions -- Model Integrations and Extensions -- Integration of Formal Datatypes within State Diagrams -- Xere: Towards a Natural Interoperability between XML and ER Diagrams -- Detecting Implied Scenarios Analyzing Non-local Branching Choices -- Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
2003
|
Subjects: | Computer science., Software engineering., Programming languages (Electronic computers)., Computer logic., Computer Science., Software Engineering/Programming and Operating Systems., Software Engineering., Programming Languages, Compilers, Interpreters., Logics and Meanings of Programs., |
Online Access: | http://dx.doi.org/10.1007/3-540-36578-8 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:208785 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:2087852018-07-30T23:39:56ZFundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / Pezzè, Mauro. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,2003.engKeynote -- Symbiosis of Static Analysis and Program Testing -- Software Components -- An Ontology for Software Component Matching -- A Description Language for Composable Components -- A Logical Basis for the Specification of Reconfigurable Component-Based Systems -- An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems -- Mobile Computing -- Composing Specifications of Event Based Applications -- A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems -- Spatial Security Policies for Mobile Agents in a Sentient Computing Environment -- Aspect and Object-Oriented Programming -- Towards UML-Based Formal Specifications of Component-Based Real-Time Software -- Modelling Recursive Calls with UML State Diagrams -- Pipa: A Behavioral Interface Specification Language for Aspect -- PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features -- Distributed and Web Applications -- Model-Based Development of Web Applications Using Graphical Reaction Rules -- Modular Analysis of Dataflow Process Networks -- Software Measurements -- Foundations of a Weak Measurement-Theoretic Approach to Software Measurement -- An Information-Based View of Representational Coupling in Object-Oriented Systems -- Formal Verification -- A Temporal Approach to Specification and Verification of Pointer Data-Structures -- A Program Logic for Handling Java Card’s Transaction Mechanism -- Monad-Independent Hoare Logic in HASCASL -- Visual Specifications of Policies and Their Verification -- Analysis and Testing -- Automatic Model Driven Animation of SCR Specifications -- Probe Mechanism for Object-Oriented Software Testing -- Model Checking Software via Abstraction of Loop Transitions -- Model Integrations and Extensions -- Integration of Formal Datatypes within State Diagrams -- Xere: Towards a Natural Interoperability between XML and ER Diagrams -- Detecting Implied Scenarios Analyzing Non-local Branching Choices -- Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.Computer science.Software engineering.Programming languages (Electronic computers).Computer logic.Computer Science.Software Engineering/Programming and Operating Systems.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Springer eBookshttp://dx.doi.org/10.1007/3-540-36578-8URN:ISBN:9783540365785 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Software engineering. Programming languages (Electronic computers). Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Computer science. Software engineering. Programming languages (Electronic computers). Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. |
spellingShingle |
Computer science. Software engineering. Programming languages (Electronic computers). Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Computer science. Software engineering. Programming languages (Electronic computers). Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Pezzè, Mauro. editor. SpringerLink (Online service) Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / |
description |
Keynote -- Symbiosis of Static Analysis and Program Testing -- Software Components -- An Ontology for Software Component Matching -- A Description Language for Composable Components -- A Logical Basis for the Specification of Reconfigurable Component-Based Systems -- An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems -- Mobile Computing -- Composing Specifications of Event Based Applications -- A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems -- Spatial Security Policies for Mobile Agents in a Sentient Computing Environment -- Aspect and Object-Oriented Programming -- Towards UML-Based Formal Specifications of Component-Based Real-Time Software -- Modelling Recursive Calls with UML State Diagrams -- Pipa: A Behavioral Interface Specification Language for Aspect -- PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features -- Distributed and Web Applications -- Model-Based Development of Web Applications Using Graphical Reaction Rules -- Modular Analysis of Dataflow Process Networks -- Software Measurements -- Foundations of a Weak Measurement-Theoretic Approach to Software Measurement -- An Information-Based View of Representational Coupling in Object-Oriented Systems -- Formal Verification -- A Temporal Approach to Specification and Verification of Pointer Data-Structures -- A Program Logic for Handling Java Card’s Transaction Mechanism -- Monad-Independent Hoare Logic in HASCASL -- Visual Specifications of Policies and Their Verification -- Analysis and Testing -- Automatic Model Driven Animation of SCR Specifications -- Probe Mechanism for Object-Oriented Software Testing -- Model Checking Software via Abstraction of Loop Transitions -- Model Integrations and Extensions -- Integration of Formal Datatypes within State Diagrams -- Xere: Towards a Natural Interoperability between XML and ER Diagrams -- Detecting Implied Scenarios Analyzing Non-local Branching Choices -- Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. |
format |
Texto |
topic_facet |
Computer science. Software engineering. Programming languages (Electronic computers). Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. |
author |
Pezzè, Mauro. editor. SpringerLink (Online service) |
author_facet |
Pezzè, Mauro. editor. SpringerLink (Online service) |
author_sort |
Pezzè, Mauro. editor. |
title |
Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / |
title_short |
Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / |
title_full |
Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / |
title_fullStr |
Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / |
title_full_unstemmed |
Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / |
title_sort |
fundamental approaches to software engineering [electronic resource] : 6th international conference, fase 2003 held as part of the joint european conferences on theory and practice of software, etaps 2003 warsaw, poland, april 7–11, 2003 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, |
publishDate |
2003 |
url |
http://dx.doi.org/10.1007/3-540-36578-8 |
work_keys_str_mv |
AT pezzemauroeditor fundamentalapproachestosoftwareengineeringelectronicresource6thinternationalconferencefase2003heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2003warsawpolandapril7112003proceedings AT springerlinkonlineservice fundamentalapproachestosoftwareengineeringelectronicresource6thinternationalconferencefase2003heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2003warsawpolandapril7112003proceedings |
_version_ |
1756268569830621184 |