Borrow it
Coverart for item
The Resource Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings, Michel Wermelinger, Tiziana Margaria-Steffen (eds.)

Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings, Michel Wermelinger, Tiziana Margaria-Steffen (eds.)

Creator
Contributor
Summary
This book constitutes the refereed proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering, FASE 2004, held in Barcelona, Spain, in March/April 2004. The 22 revised full papers and 4 tool presentation papers presented together with an invited paper and the abstract of another invited talk were carefully reviewed and selected from a total of 98 submissions. The papers are organized in topical sections on objects and aspects, smart cards, components, security and web services, modeling and requirements, testing, and model checking and analysis
Language
eng
Work
Publication
Extent
1 online resource (xiii, 388 pages)
Contents
  • Invited Contributions
  • Distributed Information Management with XML and Web Services
  • A Formal Treatment of Context-Awareness
  • Objects and Aspects
  • Consistent Adaptation and Evolution of Class Diagrams during Refinement
  • Measuring Aspect Cohesion
  • Refactoring Object-Z Specifications
  • Smart Cards
  • Checking Absence of Illicit Applet Interactions: A Case Study
  • A Tool-Assisted Framework for Certified Bytecode Verification
  • Reasoning about Card Tears and Transactions in Java Card
  • Components I
  • Predictable Dynamic Plugin Systems
  • A Correlation Framework for the CORBA Component Model
  • Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems
  • Security and Web Services
  • Actor-Centric Modeling of User Rights
  • Modeling Role-Based Access Control Using Parameterized UML Models
  • Compositional Nested Long Running Transactions
  • DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets
  • Modeling and Requirements
  • Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation
  • An Operational Semantics for Stateflow
  • Improving Use Case Based Requirements Using Formally Grounded Specifications
  • The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design
  • Testing
  • Automated Debugging Using Path-Based Weakest Preconditions
  • Filtering TOBIAS Combinatorial Test Suites
  • Systematic Testing of Software Architectures in the C2 Style
  • Model Checking and Analysis
  • Optimising Communication Structure for Model Checking
  • Translating Software Designs for Model Checking
  • Enhancing Remote Method Invocation through Type-Based Static Analysis
  • Specification and Analysis of Real-Time Systems Using Real-Time Maude
  • Components II
  • A Systematic Methodology for Developing Component Frameworks
  • Automating Decisions in Component Composition Based on Propagation of Requirements
Isbn
9783540247210
Instance
Label
Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Title
Fundamental approaches to software engineering
Title remainder
7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Statement of responsibility
Michel Wermelinger, Tiziana Margaria-Steffen (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering, FASE 2004, held in Barcelona, Spain, in March/April 2004. The 22 revised full papers and 4 tool presentation papers presented together with an invited paper and the abstract of another invited talk were carefully reviewed and selected from a total of 98 submissions. The papers are organized in topical sections on objects and aspects, smart cards, components, security and web services, modeling and requirements, testing, and model checking and analysis
Member of
Cataloging source
COO
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.758
LC item number
.F44 2004
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
FASE 2004
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1966-
  • 1964-
  • 2004
http://library.link/vocab/relatedWorkOrContributorName
  • Wermelinger, Michel
  • Margaria-Steffen, Tiziana
  • ETAPS (Conference)
Series statement
Lecture notes in computer science,
Series volume
2984
http://library.link/vocab/subjectName
  • Software engineering
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • Software engineering
  • Kongress
  • Software Engineering
  • Génie logiciel
Label
Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings, Michel Wermelinger, Tiziana Margaria-Steffen (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Contributions -- Distributed Information Management with XML and Web Services -- A Formal Treatment of Context-Awareness -- Objects and Aspects -- Consistent Adaptation and Evolution of Class Diagrams during Refinement -- Measuring Aspect Cohesion -- Refactoring Object-Z Specifications -- Smart Cards -- Checking Absence of Illicit Applet Interactions: A Case Study -- A Tool-Assisted Framework for Certified Bytecode Verification -- Reasoning about Card Tears and Transactions in Java Card -- Components I -- Predictable Dynamic Plugin Systems -- A Correlation Framework for the CORBA Component Model -- Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems -- Security and Web Services -- Actor-Centric Modeling of User Rights -- Modeling Role-Based Access Control Using Parameterized UML Models -- Compositional Nested Long Running Transactions -- DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets -- Modeling and Requirements -- Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation -- An Operational Semantics for Stateflow -- Improving Use Case Based Requirements Using Formally Grounded Specifications -- The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design -- Testing -- Automated Debugging Using Path-Based Weakest Preconditions -- Filtering TOBIAS Combinatorial Test Suites -- Systematic Testing of Software Architectures in the C2 Style -- Model Checking and Analysis -- Optimising Communication Structure for Model Checking -- Translating Software Designs for Model Checking -- Enhancing Remote Method Invocation through Type-Based Static Analysis -- Specification and Analysis of Real-Time Systems Using Real-Time Maude -- Components II -- A Systematic Methodology for Developing Component Frameworks -- Automating Decisions in Component Composition Based on Propagation of Requirements
Control code
60713752
Dimensions
unknown
Extent
1 online resource (xiii, 388 pages)
Form of item
online
Isbn
9783540247210
Lccn
2004045334
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b95935
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)60713752
Label
Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings, Michel Wermelinger, Tiziana Margaria-Steffen (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited Contributions -- Distributed Information Management with XML and Web Services -- A Formal Treatment of Context-Awareness -- Objects and Aspects -- Consistent Adaptation and Evolution of Class Diagrams during Refinement -- Measuring Aspect Cohesion -- Refactoring Object-Z Specifications -- Smart Cards -- Checking Absence of Illicit Applet Interactions: A Case Study -- A Tool-Assisted Framework for Certified Bytecode Verification -- Reasoning about Card Tears and Transactions in Java Card -- Components I -- Predictable Dynamic Plugin Systems -- A Correlation Framework for the CORBA Component Model -- Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems -- Security and Web Services -- Actor-Centric Modeling of User Rights -- Modeling Role-Based Access Control Using Parameterized UML Models -- Compositional Nested Long Running Transactions -- DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets -- Modeling and Requirements -- Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation -- An Operational Semantics for Stateflow -- Improving Use Case Based Requirements Using Formally Grounded Specifications -- The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design -- Testing -- Automated Debugging Using Path-Based Weakest Preconditions -- Filtering TOBIAS Combinatorial Test Suites -- Systematic Testing of Software Architectures in the C2 Style -- Model Checking and Analysis -- Optimising Communication Structure for Model Checking -- Translating Software Designs for Model Checking -- Enhancing Remote Method Invocation through Type-Based Static Analysis -- Specification and Analysis of Real-Time Systems Using Real-Time Maude -- Components II -- A Systematic Methodology for Developing Component Frameworks -- Automating Decisions in Component Composition Based on Propagation of Requirements
Control code
60713752
Dimensions
unknown
Extent
1 online resource (xiii, 388 pages)
Form of item
online
Isbn
9783540247210
Lccn
2004045334
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b95935
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)60713752

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...