Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21 25, 2002 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
2495 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal methods and software engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, proceedings, Chris George, Huaikou Miao, eds, Berlin, Springer, 2002, 1 vol. (XI-626 p.), Lecture notes in computer science, 3-540-00029-1 • Formal Methods and Software Engineering, Texte imprimé, 9783662188255 |
| LEADER | 06501nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 949254 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155224956 | ||
| 020 | |a 9783540361039 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Formal Engineering Methods |n (04 |d :2002 |c :Shanghai). | |
| 245 | 1 | 0 | |a Formal methods and software engineering : |b 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21 25, 2002 : proceedings |c [edited by] Chris George, Huaikou Miao. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2495 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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-OrientedDomain 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a George, Chris W., |d 1947-...., |c auteur en informatique. |4 pbd | |
| 700 | 1 | |a Miao, Huaikou, |d 19..- |4 pbd | |
| 776 | 0 | |0 069807442 |t Formal methods and software engineering |o 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 |o proceedings |f Chris George, Huaikou Miao, eds |c Berlin |n Springer |d 2002 |p 1 vol. (XI-626 p.) |s Lecture notes in computer science |z 3-540-00029-1 | |
| 776 | 0 | |t Formal Methods and Software Engineering |b Texte imprimé |z 9783662188255 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-36103-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-FP3Q5S9N-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748056742 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-36103-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751508071 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-36103-0 |z Accès INSA CVL | |
| 997 | |0 949254 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||