Coverart for item
The Resource Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India, edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) [and others]

Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India, edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) [and others]

Label
Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India
Title
Fourth IEEE International Conference on Software Engineering and Formal Methods
Title remainder
SEFM 2006 : proceedings : 11-15 September 2006, Pune, India
Statement of responsibility
edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) [and others]
Title variation
  • Conference on Software Engineering and Formal Methods
  • Software Engineering and Formal Methods
  • SEFM 2006
Creator
Contributor
Subject
Genre
Language
eng
Related
Member of
Cataloging source
STF
Dewey number
005.3
Illustrations
illustrations
Index
index present
LC call number
QA76.758
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
International Conference on Software Engineering and Formal Methods
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1950-
http://library.link/vocab/relatedWorkOrContributorName
  • Dang, Hung Van
  • Pandya, Paritosh K
  • Computer Society of India
  • International Institute for Software Technology
http://library.link/vocab/subjectName
  • Engineering
  • Computer software
  • Computer software
  • Engineering
Label
Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India, edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) [and others]
Instantiates
Publication
Note
"IEEE Computer Society Order Number P2678"--Title page verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Machine derived contents note: Invited Papers -- M odeling Heterogeneous Real-Time Components in BIP 3 -- Ananda Basu, Marius Bozga, and Joseph Sifakis -- The Context of O bject Com putation 13 -- Bertrand Meyer -- Automatic Property Checking for Software: Past, Present and Future 18 -- Sriram K. Rajamani -- Harnessing Disruptive Innovation in Formal Verification 21 -- John Rushby -- Contributed Papers -- A Semi-automatic Methodology for Repairing Faulty Web Sites 31 -- Maria Alpuente, Demis Ballis, Moreno Falaschi, and Daniel Romero -- On Bisim ilarities Induced by Relations on A ctions 41 -- S. Arun-Kumar -- Formalizing AspectJ W eaving for Static Pointcuts 50 -- Nadia Belblidia and Mourad Debbabi -- Filtering R etrenchm ents into R efinem ents 60 -- Richard Banach and John Derrick -- Computing Complete Test Graphs for Hierarchical Systems 70 -- Deepak D Souza and Madhu Gopinathan -- Jose: A spects for D esign by Contract 80 -- Yishai A. Feldman, Ohad Barzilay, and Shmuel Tyszberowicz -- DISCERN: Towards the Automatic Discovery of Software Contracts 90 -- Yishai A. Feldman and Leon Gendler -- A Model for Temporal Relations between Object Roles 100 -- G. Naresh and B.D. Chaudhary -- A PVS Based Framework for Validating Compiler Optimizations 108 -- Aditya Kanade, Amitabha Sanyal, and Uday Khedker -- Formal Modelling and Verification of an Asynchronous DLX Pipeline 118 -- Hemangee K. Kapoor -- Product Autom ata and Process Algebra 128 -- Kamal Lodaya -- Verification of JAVA CARD Applets Behavior with Respect to Transactions -- and C ard T ears 137 -- Claude Marchi and Nicolas Rousset -- Specifying Data-Flow Requirements for the Automated Composition -- of W eb Services 14 7 -- Annapaola Marconi, Marco Pistore, and Paolo Traverso -- Requirements Modeling-Experience from an Insurance Project 157 -- G. Murali Krishna -- VPA-Based Aspects: Better Support for AOP over Protocols 167 -- Dong Ha Nguyen and Mario Siidholt -- A Formal Model of Context-Awareness and Context-Dependency 177 -- Mats Neovius, Kaisa Sere, Lu Yan, and M. Satpathy -- C om posing C ontext Sensitive A nalysis 186 -- Prahladavaradan Sampath and Shrawan Kumar -- ASEHA: A Framework for Modelling and Verification of Web -- Services Protocols 196 -- Pemadeep Ramsokul and Arcot Sowmya -- A Theory of Singly-Linked Lists and Its Extensible Decision Procedure 206 -- Silvio Ranise and Calogero Zarba -- Describing and Executing Random Reactive Systems 16 -- Pascal Raymond, Erwan Jahier, and Yvan Roux -- A Bag-of-Tasks Approach for State Space Exploration Using Computational -- G rids 22 6 -- Cdssio L. Rodrigues, Paulo E.S. Barbosa, Jairson M. Cabral, -- Jorge C.A. de Figueiredo, and Dalton D.S. Guerrero -- A Rigorous Approach to Requirem ents Validation 236 -- Srihari Sukumaran, Ashok Sreenivas, and R. Venkatesh -- Declarative Performance Modeling for Component-Based System Using UML -- Profile for Schedulability, Performance and Time 246 -- Yong Zhang, Tao Huang, and Jun Wei -- Tutorials -- R etrenchm ent T utorial 259 -- Richard Banach -- Integrating Object-Oriented Design and Deductive Verification of Software 260 -- Bernhard Beckert, Reiner Hahnle, and Peter H. Schmitt -- Static Analysis of Programs: A HeaCentric View 261 -- Uday Khedker -- Automated Formal M ethods with PVS, SAL and Yices 262 -- John Rushby
Control code
74351106
Dimensions
unknown
Extent
1 online resource (xi, 263 pages)
Form of item
online
Isbn
9780769526782
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Specific material designation
remote
System control number
(OCoLC)74351106
Label
Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India, edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) [and others]
Publication
Note
"IEEE Computer Society Order Number P2678"--Title page verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Machine derived contents note: Invited Papers -- M odeling Heterogeneous Real-Time Components in BIP 3 -- Ananda Basu, Marius Bozga, and Joseph Sifakis -- The Context of O bject Com putation 13 -- Bertrand Meyer -- Automatic Property Checking for Software: Past, Present and Future 18 -- Sriram K. Rajamani -- Harnessing Disruptive Innovation in Formal Verification 21 -- John Rushby -- Contributed Papers -- A Semi-automatic Methodology for Repairing Faulty Web Sites 31 -- Maria Alpuente, Demis Ballis, Moreno Falaschi, and Daniel Romero -- On Bisim ilarities Induced by Relations on A ctions 41 -- S. Arun-Kumar -- Formalizing AspectJ W eaving for Static Pointcuts 50 -- Nadia Belblidia and Mourad Debbabi -- Filtering R etrenchm ents into R efinem ents 60 -- Richard Banach and John Derrick -- Computing Complete Test Graphs for Hierarchical Systems 70 -- Deepak D Souza and Madhu Gopinathan -- Jose: A spects for D esign by Contract 80 -- Yishai A. Feldman, Ohad Barzilay, and Shmuel Tyszberowicz -- DISCERN: Towards the Automatic Discovery of Software Contracts 90 -- Yishai A. Feldman and Leon Gendler -- A Model for Temporal Relations between Object Roles 100 -- G. Naresh and B.D. Chaudhary -- A PVS Based Framework for Validating Compiler Optimizations 108 -- Aditya Kanade, Amitabha Sanyal, and Uday Khedker -- Formal Modelling and Verification of an Asynchronous DLX Pipeline 118 -- Hemangee K. Kapoor -- Product Autom ata and Process Algebra 128 -- Kamal Lodaya -- Verification of JAVA CARD Applets Behavior with Respect to Transactions -- and C ard T ears 137 -- Claude Marchi and Nicolas Rousset -- Specifying Data-Flow Requirements for the Automated Composition -- of W eb Services 14 7 -- Annapaola Marconi, Marco Pistore, and Paolo Traverso -- Requirements Modeling-Experience from an Insurance Project 157 -- G. Murali Krishna -- VPA-Based Aspects: Better Support for AOP over Protocols 167 -- Dong Ha Nguyen and Mario Siidholt -- A Formal Model of Context-Awareness and Context-Dependency 177 -- Mats Neovius, Kaisa Sere, Lu Yan, and M. Satpathy -- C om posing C ontext Sensitive A nalysis 186 -- Prahladavaradan Sampath and Shrawan Kumar -- ASEHA: A Framework for Modelling and Verification of Web -- Services Protocols 196 -- Pemadeep Ramsokul and Arcot Sowmya -- A Theory of Singly-Linked Lists and Its Extensible Decision Procedure 206 -- Silvio Ranise and Calogero Zarba -- Describing and Executing Random Reactive Systems 16 -- Pascal Raymond, Erwan Jahier, and Yvan Roux -- A Bag-of-Tasks Approach for State Space Exploration Using Computational -- G rids 22 6 -- Cdssio L. Rodrigues, Paulo E.S. Barbosa, Jairson M. Cabral, -- Jorge C.A. de Figueiredo, and Dalton D.S. Guerrero -- A Rigorous Approach to Requirem ents Validation 236 -- Srihari Sukumaran, Ashok Sreenivas, and R. Venkatesh -- Declarative Performance Modeling for Component-Based System Using UML -- Profile for Schedulability, Performance and Time 246 -- Yong Zhang, Tao Huang, and Jun Wei -- Tutorials -- R etrenchm ent T utorial 259 -- Richard Banach -- Integrating Object-Oriented Design and Deductive Verification of Software 260 -- Bernhard Beckert, Reiner Hahnle, and Peter H. Schmitt -- Static Analysis of Programs: A HeaCentric View 261 -- Uday Khedker -- Automated Formal M ethods with PVS, SAL and Yices 262 -- John Rushby
Control code
74351106
Dimensions
unknown
Extent
1 online resource (xi, 263 pages)
Form of item
online
Isbn
9780769526782
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Specific material designation
remote
System control number
(OCoLC)74351106

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...