publication venue for
- A Case Study on Using Automata in Control Synthesis. 2000
- A Formal Approach to Heterogeneous Software Modeling. 2000
- A Process Algebra for Real-Time Programs. 2000
- Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. 2000
- Analyzing Non-functional Properties of Mobile Agents. 2000
- Applying RT-Z to Develop Safety-Critical Systems. 2000
- Essay on Software Engineering at the Turn of Century. 2000
- Formal Specification of Object-Oriented Meta-modelling. 2000
- Formal System Development with KIV. 2000
- Foundations for Software Configuration Management Policies Using Graph Transformations. 2000
- From Play-In Scenarios to Code: An Achievable Dream. 2000
- Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings 2000
- Java Program Verification via a Hoare Logic with Abrupt Termination. 2000
- Memex Is Not Enough. 2000
- More About TAS and IsaWin - Tools for Formal Program Development. 2000
- Parallel Refinement Mechanisms for Real-Time Systems. 2000
- Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. 2000
- Software as Learning: Quality Factors and Life-Cycle Revised. 2000
- Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. 2000
- Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. 2000
- Structuring and Design of Reactive Systems Using RSDS and B. 2000
- System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. 2000
- Using Domain-Specific Languages for the Realization of Component Composition. 2000
- Using Maude. 2000
- Verification of Object Oriented Programs Using Class Invariants. 2000
- Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem. 2000
- What Is 'Mathematicalness' in Software Engineering? 2000