Coverart for item
The Resource Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers, Farhad Arbab, Marjan Sirjani (eds.)

Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers, Farhad Arbab, Marjan Sirjani (eds.)

Label
Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers
Title
Fundamentals of software engineering
Title remainder
4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers
Statement of responsibility
Farhad Arbab, Marjan Sirjani (eds.)
Title variation
FSEN 2011
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011. The 19 revised full papers and 5 revised short papers presented together with 3 poster presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, CASE tools and tool integration, model checking and theorem proving, and Integration of different formal methods
Member of
Cataloging source
GW5XE
Dewey number
005.1
Index
index present
LC call number
QA76.758
LC item number
.I58 2011eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
IPM International Conference on Fundamentals of Software Engineering
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Arbab, F.
  • Sirjani, Marjan
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7141
http://library.link/vocab/subjectName
  • Software engineering
  • Informatique
  • Software engineering
Label
Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers, Farhad Arbab, Marjan Sirjani (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Minyoung Kim, Mark-Oliver Stehr and Carolyn Talcott
  • Reachability Analysis of Non-linear Planar Autonomous Systems
  • Hallstein Asheim Hansen, Gerardo Schneider and Martin Steffen
  • Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs
  • Qiusong Yang, Bei Zhang, Jian Zhai and Mingshu Li
  • Refinement-Based Modeling of 3D NoCs
  • Maryam Kamali, Luigia Petre, Kaisa Sere and Masoud Daneshtalab
  • Towards Model-Based Testing of Electronic Funds Transfer Systems
  • Hamid Reza Asaadi, Ramtin Khosravi, MohammadReza Mousavi and Neda Noroozi
  • Compositional Reasoning for Markov Decision Processes
  • Yuxin Deng and Matthew Hennessy
  • Safe Locking for Multi-threaded Java
  • Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe and Martin Steffen
  • Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
  • Yi-Ling Hwong, Vincent J.J. Kusters and Tim A.C. Willemse
  • A Distributed Logic for Networked Cyber-Physical Systems
  • Intentional Automata: A Context-Dependent Model for Component Connectors
  • David Costa, Milad Niqui and Jan Rutten
  • Nested Dynamic Condition Response Graphs
  • Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats
  • Efficient Verification of Evolving Software Product Lines
  • Hamideh Sabouri and Ramtin Khosravi
  • Extending Interface Automata with Z Notation
  • Zining Cao and Hui Wang
  • A Specification Language for Reo Connectors
  • Alexandra Silva
  • Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations
  • Luca Aceto, Ignacio Fábregas, David de Frutos Escrig, Anna Ingólfsdóttir and Miguel Palomino
  • Decidability of Behavioral Equivalences in Process Calculi with Name Scoping
  • Chaodong He, Yuxi Fu and Hongfei Fu
  • Rewriting Approximations for Properties Verification over CCS Specifications
  • Roméo Courbis
  • Type Checking Cryptography Implementations
  • Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues and Paulo F. Silva
Control code
792807409
Dimensions
unknown
Extent
1 online resource (xii, 376 pages).
File format
unknown
Form of item
online
Isbn
9783642293191
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-29320-7
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)792807409
Label
Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers, Farhad Arbab, Marjan Sirjani (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Minyoung Kim, Mark-Oliver Stehr and Carolyn Talcott
  • Reachability Analysis of Non-linear Planar Autonomous Systems
  • Hallstein Asheim Hansen, Gerardo Schneider and Martin Steffen
  • Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs
  • Qiusong Yang, Bei Zhang, Jian Zhai and Mingshu Li
  • Refinement-Based Modeling of 3D NoCs
  • Maryam Kamali, Luigia Petre, Kaisa Sere and Masoud Daneshtalab
  • Towards Model-Based Testing of Electronic Funds Transfer Systems
  • Hamid Reza Asaadi, Ramtin Khosravi, MohammadReza Mousavi and Neda Noroozi
  • Compositional Reasoning for Markov Decision Processes
  • Yuxin Deng and Matthew Hennessy
  • Safe Locking for Multi-threaded Java
  • Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe and Martin Steffen
  • Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
  • Yi-Ling Hwong, Vincent J.J. Kusters and Tim A.C. Willemse
  • A Distributed Logic for Networked Cyber-Physical Systems
  • Intentional Automata: A Context-Dependent Model for Component Connectors
  • David Costa, Milad Niqui and Jan Rutten
  • Nested Dynamic Condition Response Graphs
  • Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats
  • Efficient Verification of Evolving Software Product Lines
  • Hamideh Sabouri and Ramtin Khosravi
  • Extending Interface Automata with Z Notation
  • Zining Cao and Hui Wang
  • A Specification Language for Reo Connectors
  • Alexandra Silva
  • Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations
  • Luca Aceto, Ignacio Fábregas, David de Frutos Escrig, Anna Ingólfsdóttir and Miguel Palomino
  • Decidability of Behavioral Equivalences in Process Calculi with Name Scoping
  • Chaodong He, Yuxi Fu and Hongfei Fu
  • Rewriting Approximations for Properties Verification over CCS Specifications
  • Roméo Courbis
  • Type Checking Cryptography Implementations
  • Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues and Paulo F. Silva
Control code
792807409
Dimensions
unknown
Extent
1 online resource (xii, 376 pages).
File format
unknown
Form of item
online
Isbn
9783642293191
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-29320-7
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)792807409

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 ...