Formal Methods and Software Engineering (Record no. 188975)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05944nam a22005895i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-39893-6 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423132539.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121227s2003 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540398936 |
| -- | 978-3-540-39893-6 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/b94115 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.758 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM051230 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Formal Methods and Software Engineering |
| Medium | [electronic resource] : |
| Remainder of title | 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / |
| Statement of responsibility, etc | edited by Jin Song Dong, Jim Woodcock. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2003. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2003. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XI, 682 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 2885 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Invited Talks -- Programs as Paths: An Approach to Timing Constraint Analysis -- Model Based Code Verification -- Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning? -- Testing and Validation -- Using Formal Methods to Serialize Synchronization Events -- An AMBA-ARM7 Formal Verification Platform -- Formalization, Testing and Execution of a Use Case Diagram -- Service-Based Systems Engineering: Consistent Combination of Services -- State Diagrams -- Using State Diagrams to Describe Concurrent Behaviour -- The Equivalence of Statecharts -- Generic Interacting State Machines and Their Instantiation with Dynamic Features -- PVS/HOL -- Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language -- Formalising an Integrated Language in PVS -- Refinement -- Modeling SystemC Fixed-Point Arithmetic in HOL -- Adding Action Refinement to Stochastic True Concurrency Models -- Incremental Derivation of Abstraction Relations for Data Refinement -- Comparison of Data and Process Refinement -- Compilation by Refinement for a Practical Assembly Language -- Hybrid Systems -- Java Card Code Generation from B Specifications -- Efficient Path Finding with the Sweep-Line Method Using External Storage -- Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates -- Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures -- Z/Object-Z -- A Z Based Approach to Verifying Security Protocols -- A Refinement Tool for Z -- The Common Semantic Constructs of XML Family -- Petri Nets -- Controller Synthesis for Object Petri Nets -- Towards a Workflow Model of Real-Time Cooperative Systems -- New Developments in Closed-Form Computation for GSPN Aggregation -- Timed Automata -- On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata -- Analyzing the Redesign of a Distributed Lift System in UPPAAL -- Verification of Timeliness QoS Properties in Multimedia Systems -- System Modeling and Checking -- A Calculus for Set-Based Program Development -- Compositional Verification of a Switch Fabric from Nortel Networks -- Constraint-Based Model Checking of Data-Independent Systems -- A Formal Model for the Block Device Subsystem of the Linux Kernel -- Semantics and Synthesis -- A Mathematical Framework for Safecharts -- A Relational Model for Formal Object-Oriented Requirement Analysis in UML -- From Specification to Hardware Device: A Synthesis Algorithm. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted based on originality, technical content, presentation and relevance to formal methods and software engineering. We wish to sincerely thank all authors who submitted their work for consideration. We would also like to thank the Program Committee members and other reviewers for their great e?orts in the reviewing and selecting process. Weareindebtedtothethreekeynotespeakers,Prof.IanHayesoftheUniv- sity of Queensland, Prof. Mathai Joseph of the Tata Research, Development and DesignCentre,andDr.ColinO’HalloranofQinetiQ,foracceptingourinvitation to address the conference. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Compilers (Computer programs). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Machine theory. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Compilers and Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal Languages and Automata Theory. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Dong, Jin Song. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Woodcock, Jim. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540204619 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783662207789 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 1611-3349 ; |
| Volume number/sequential designation | 2885 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/b94115">https://doi.org/10.1007/b94115</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 912 ## - | |
| -- | ZDB-2-BAE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.