1 option
Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / edited by Chris George, Huaikou Miao.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2495.
- Lecture Notes in Computer Science, 0302-9743 ; 2495
- Language:
- English
- Subjects (All):
- Software engineering.
- Programming languages (Electronic computers).
- Computer logic.
- Software Engineering/Programming and Operating Systems.
- Software Engineering.
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Software Engineering.
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Physical Description:
- 1 online resource (XII, 636 pages).
- Edition:
- First edition 2002.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
- System Details:
- text file PDF
- Contents:
- Invited Talks
- SFI: A Refinement Based Layered Software Architecture
- Developing Quality Software Systems Using the SOFL Formal Engineering Method
- Maintaining Referential Integrity on the Web
- Formal Methods in Enterprise Computing
- Unifying Theories of Parallel Programming
- Component Engineering and Software Architecture
- ABC/ADL: An ADL Supporting Component Composition
- The Description of CORBA Objects Based on Petri Nets
- Toward a Formal Model of Software Components
- A Specification-Based Software Construction Framework for Reuse
- Specifying a Component Model for Building Dynamically Reconfigurable Distributed Systems
- Three-Tiered Specification of Micro-architectures
- Modeling the Architecture for Component-Based E-commerce System
- Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge
- Method Integration
- Abstract Specification in Object-Z and CSP
- Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS
- Specification Techniques and Languages
- Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications
- An Overview of Mobile Object-Z
- Z Approach to Semantic Web
- Hardware/Software Partitioning in Verilog
- A Formal Methodology to Specify E-commerce Systems
- Model-Based Specification Animation Using Testgraphs
- An Abstract Model for Scheduling Real-Time Programs
- A Specification and Validation Technique Based on STATEMATE and FNLOG
- Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows
- A Calculus for Mobile Network Systems
- Modelling Real-Time Systems with Continuous-Time Temporal Logic
- On Concept-Based Definition of Domain-Specific Languages
- Formal Specification of Evolutionary Software Agents
- Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra
- Formal Analysis of Real-Time Systems with SAM
- Tools and Environments
- Tool Support for Visualizing CSP in UML
- Theorem Prover Support for Precondition and Correctness Calculation
- XML-Based Static Type Checking and Dynamic Visualization for TCOZ
- Refinement
- ?-Chart-Based Specification and Refinement
- Towards a Refinement Calculus for Concurrent Real-Time Programs
- Refinement Algebra for Formal Bytecode Generation
- Applications
- Formal Modelling of Java GUI Event Handling
- A New Algorithm for Service Interaction Detection
- Specification of an Asynchronous On-chip Bus
- Analysis of a Security Protocol in ?CRL
- Developing a Spell-Checker for Tajik Using RAISE
- M2Z: A Tool for Translating a Natural Language Software Specification into Z
- Validation and Verification
- Abstract Interpretation with a Theorem Prover
- Formal Reasoning about Hardware and Software Memory Models
- Slicing Hierarchical Automata for Model Checking UML Statecharts
- Formal Verification of a SONET Telecom System Block
- Enabling Hardware Verification through Design Changes
- Specification-Based Test Generation for Security-Critical Systems Using Mutations
- A Formal Definition of Function Points for Automated Measurement of B Specifications
- Machine Code Type Safety
- UML
- On the Formalized Semantics of Static Modeling Elements in UML
- From a B Specification to UML StateChart Diagrams
- Formalizing UML Models with Object-Z
- Using Transition Systems to Unify UML Models
- A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z
- A UML Approach to the Design of Open Distributed Systems
- A Semantic Model of Real-Time UML
- Research on Ontology-Oriented Domain Analysiss on MIS
- A Requirements Description Model Based on Conditional Directed Graphs
- Semantics
- Introducing Reference Semantics via Refinement
- Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics
- Towards a Time Model for Circus.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-36103-9
- 9783540361039
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.