Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: George, Chris (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Miao, Huaikou (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Έκδοση:1st ed. 2002.
Σειρά:Lecture Notes in Computer Science, 2495
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 06368nam a2200541 4500
001 978-3-540-36103-9
003 DE-He213
005 20191220130119.0
007 cr nn 008mamaa
008 121227s2002 gw | s |||| 0|eng d
020 |a 9783540361039  |9 978-3-540-36103-9 
024 7 |a 10.1007/3-540-36103-0  |2 doi 
040 |d GrThAP 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
072 7 |a UL  |2 thema 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Formal Methods and Software Engineering  |h [electronic resource] :  |b 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /  |c edited by Chris George, Huaikou Miao. 
250 |a 1st ed. 2002. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2002. 
300 |a XII, 636 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 2495 
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-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. 
650 0 |a Software engineering. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computer logic. 
650 1 4 |a Software Engineering/Programming and Operating Systems.  |0 http://scigraph.springernature.com/things/product-market-codes/I14002 
650 2 4 |a Software Engineering.  |0 http://scigraph.springernature.com/things/product-market-codes/I14029 
650 2 4 |a Programming Languages, Compilers, Interpreters.  |0 http://scigraph.springernature.com/things/product-market-codes/I14037 
650 2 4 |a Logics and Meanings of Programs.  |0 http://scigraph.springernature.com/things/product-market-codes/I1603X 
700 1 |a George, Chris.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Miao, Huaikou.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783662188255 
776 0 8 |i Printed edition:  |z 9783540000297 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 2495 
856 4 0 |u https://doi.org/10.1007/3-540-36103-0  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645)