Coverart for item
The Resource 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, Ralf-Detlef Kutsche, Herbert Weber (eds.)

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, Ralf-Detlef Kutsche, Herbert Weber (eds.)

Label
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
Title
Fundamental approaches to software engineering
Title remainder
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
Statement of responsibility
Ralf-Detlef Kutsche, Herbert Weber (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA76.758
LC item number
.F44 2002
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
FASE 2002
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1955-
  • 1940-
  • 2002
http://library.link/vocab/relatedWorkOrContributorName
  • Kutsche, Ralf-Detlef
  • Weber, Herbert
  • ETAPS 2002
http://library.link/vocab/subjectName
  • Software engineering
  • Programmatuurtechniek
  • Génie logiciel
  • Software engineering
  • Programmatuurtechniek
  • Kongress
  • Software Engineering
  • Génie logiciel
  • architecture logiciel
  • métaobjet
  • ingénierie inverse
  • UML
  • analyse programme
  • méthode formelle
  • développement logiciel
  • génie logiciel
Label
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, Ralf-Detlef Kutsche, Herbert Weber (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
An Approach to Composition Motivated by wp / Michel Charpentier -- Compositional Verification of Secure Applet Interactions / Gilles Barthe, Dilian Gurov and Marieke Huisman -- A Generic Component Framework for System Modeling / Hartmut Ehrig, Fernando Orejas and Benjamin Braatz / [et al.] -- Implementing Condition/Event Nets in the Circal Process Algebra / Antonio Cerone -- Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs / Fei Xie and James C. Browne -- Model Generation by Moderated Regular Extrapolation / Andreas Hagerer, Hardi Hungar and Oliver Niese / [et al.] -- Better Slicing of Programs with Jumps and Switches / Sumit Kumar and Susan Horwitz -- Architectural Types Revisited: Extensible And/Or Connections / Marco Bernardo and Francesco Franze -- Mapping an ADL to a Component-Based Application Development Environment / Virginia C. C. de Paula and Thais V. Batista -- From EDOC to CCM Components: A Precise Mapping Specification / Mariano Belaunde and Mikael Peltier -- Engineering Modelling Languages: A Precise Meta-Modelling Approach / Tony Clark, Andy Evans and Stuart Kent -- AToM[superscript 3]: A Tool for Multi-formalism and Meta-modelling / Juan de Lara and Hans Vangheluwe -- A Toolbox for Automating Visual Software Engineering / Luciano Baresi and Mauro Pezze -- Enriching OCL Using Observational Mu-Calculus / Julian Bradfield, Juliana Kuster Filipe and Perdita Stevens -- Formal Verification of UML Statecharts with Real-Time Extensions / Alexandre David, M. Oliver Moller and Wang Yi -- An Authoring Tool for Informal and Formal Requirements Specifications / Reiner Hahnle, Kristofer Johannisson and Aarne Ranta -- Introducing Context-Based Constraints / Felix Bubl -- Formal Requirements Engineering Using Observer Models / Andreas Nonnengart, Georg Rock and Werner Stephan -- Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach / Oscar Lopez, Miguel A. Laguna and Francisco J. Garcia -- Meta-modeling Techniques Meet Web Application Design Tools / Luciano Baresi, Franca Garzotto and Luca Mainetti / [et al.] -- Formal-Driven Conceptualization and Prototyping of Hypermedia Applications / Antonio Navarro, Baltasar Fernandez-Manjon and Alfredo Fernandez-Valmayor / [et al.] -- The Coordination Development Environment / Joao Gouveia, Georgios Koutsoukos and Michel Wermelinger / [et al.] -- The [Key] System: Integrating Object-Oriented Design and Formal Methods / Wolfgang Ahrendt, Thomas Baar and Bernhard Beckert / [et al.] -- ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs / Fei Xie, Vladimir Levin and James C. Browne -- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems / Andreas Hagerer, Hardi Hungar and Tiziana Margaria / [et al.]
Dimensions
24 cm.
Dimensions
unknown
Extent
xiii, 339 pages
Isbn
9783540433538
Lccn
2002021224
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)49285647
  • (OCoLC)ocm49285647
Label
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, Ralf-Detlef Kutsche, Herbert Weber (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
An Approach to Composition Motivated by wp / Michel Charpentier -- Compositional Verification of Secure Applet Interactions / Gilles Barthe, Dilian Gurov and Marieke Huisman -- A Generic Component Framework for System Modeling / Hartmut Ehrig, Fernando Orejas and Benjamin Braatz / [et al.] -- Implementing Condition/Event Nets in the Circal Process Algebra / Antonio Cerone -- Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs / Fei Xie and James C. Browne -- Model Generation by Moderated Regular Extrapolation / Andreas Hagerer, Hardi Hungar and Oliver Niese / [et al.] -- Better Slicing of Programs with Jumps and Switches / Sumit Kumar and Susan Horwitz -- Architectural Types Revisited: Extensible And/Or Connections / Marco Bernardo and Francesco Franze -- Mapping an ADL to a Component-Based Application Development Environment / Virginia C. C. de Paula and Thais V. Batista -- From EDOC to CCM Components: A Precise Mapping Specification / Mariano Belaunde and Mikael Peltier -- Engineering Modelling Languages: A Precise Meta-Modelling Approach / Tony Clark, Andy Evans and Stuart Kent -- AToM[superscript 3]: A Tool for Multi-formalism and Meta-modelling / Juan de Lara and Hans Vangheluwe -- A Toolbox for Automating Visual Software Engineering / Luciano Baresi and Mauro Pezze -- Enriching OCL Using Observational Mu-Calculus / Julian Bradfield, Juliana Kuster Filipe and Perdita Stevens -- Formal Verification of UML Statecharts with Real-Time Extensions / Alexandre David, M. Oliver Moller and Wang Yi -- An Authoring Tool for Informal and Formal Requirements Specifications / Reiner Hahnle, Kristofer Johannisson and Aarne Ranta -- Introducing Context-Based Constraints / Felix Bubl -- Formal Requirements Engineering Using Observer Models / Andreas Nonnengart, Georg Rock and Werner Stephan -- Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach / Oscar Lopez, Miguel A. Laguna and Francisco J. Garcia -- Meta-modeling Techniques Meet Web Application Design Tools / Luciano Baresi, Franca Garzotto and Luca Mainetti / [et al.] -- Formal-Driven Conceptualization and Prototyping of Hypermedia Applications / Antonio Navarro, Baltasar Fernandez-Manjon and Alfredo Fernandez-Valmayor / [et al.] -- The Coordination Development Environment / Joao Gouveia, Georgios Koutsoukos and Michel Wermelinger / [et al.] -- The [Key] System: Integrating Object-Oriented Design and Formal Methods / Wolfgang Ahrendt, Thomas Baar and Bernhard Beckert / [et al.] -- ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs / Fei Xie, Vladimir Levin and James C. Browne -- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems / Andreas Hagerer, Hardi Hungar and Tiziana Margaria / [et al.]
Dimensions
24 cm.
Dimensions
unknown
Extent
xiii, 339 pages
Isbn
9783540433538
Lccn
2002021224
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)49285647
  • (OCoLC)ocm49285647

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...