Proceedings of the Third International Conference on Fundamental Approaches to Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Thomas Stephen Edward Maibaum
Proceedings of the Third International Conference on Fundamental Approaches to Software Engineering
FASE, 2000.

TCS
DBLP
Scholar
Full names Links ISxN
@proceedings{FASE-2000,
	address       = "Berlin, Germany",
	editor        = "Thomas Stephen Edward Maibaum",
	isbn          = "3-540-67261-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 1783,
	year          = 2000,
}

Contents (27 items)

FASE-2000-Turski #re-engineering
Essay on Software Engineering at the Turn of Century (WMT), pp. 1–20.
FASE-2000-Soley
Memex Is Not Enough (RMS), p. 21.
FASE-2000-Harel
From Play-In Scenarios to Code: An Achievable Dream (DH), pp. 22–34.
FASE-2000-KolanoKM #parallel #realtime #refinement
Parallel Refinement Mechanisms for Real-Time Systems (PZK, RAK, DM), pp. 35–50.
FASE-2000-Suhl #safety
Applying RT-Z to Develop Safety-Critical Systems (CS), pp. 51–65.
FASE-2000-Dierks #algebra #process #realtime #source code
A Process Algebra for Real-Time Programs (HD), pp. 66–81.
FASE-2000-DondossolaB #fault tolerance #formal method #specification
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches (GD, OB), pp. 82–96.
FASE-2000-LanoAC #design #using
Structuring and Design of Reactive Systems Using RSDS and B (KL, KA, DC), pp. 97–111.
FASE-2000-AnlauffKPS #component #composition #domain-specific language #using
Using Domain-Specific Languages for the Realization of Component Composition (MA, PWK, AP, AS), pp. 112–126.
FASE-2000-ReggioACH #approach #formal method #lightweight #state machine #uml
Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.
FASE-2000-Hernandez-OralloR #learning #lifecycle #quality
Software as Learning: Quality Factors and Life-Cycle Revised (JHO, MJRQ), pp. 147–162.
FASE-2000-Kondoh #question #re-engineering #what
What is “Mathematicalness” in Software Engineering? (HK), pp. 163–177.
FASE-2000-EgyedM #approach #formal method #modelling
A Formal Approach to Heterogeneous Software Modeling (AE, NM), pp. 178–192.
FASE-2000-Overgaard #metamodelling #object-oriented #specification
Formal Specification of Object-Oriented Meta-modelling (), pp. 193–207.
FASE-2000-HuizingK #invariant #object-oriented #source code #using #verification
Verification of Object Oriented Programs Using Class Invariants (KH, RK), pp. 208–221.
FASE-2000-GruerHK #design #network #problem #specification #using #verification
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem (PG, VH, AK), pp. 222–236.
FASE-2000-NelsonCA #multi #object-oriented
A Model for Describing Object-Oriented Systems from Multiple Perspectives (TN, DDC, PSCA), pp. 237–248.
FASE-2000-PadbergHG #algebra #safety
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.
FASE-2000-BellegardeJK #composition #refinement
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.
FASE-2000-HuismanJ #hoare #java #logic #termination #verification
Java Program Verification via a Hoare Logic with Abrupt Termination (MH, BJ), pp. 284–303.
FASE-2000-Parisi-PresicceW #configuration management #graph transformation #policy #using
Foundations for Software Configuration Management Policies Using Graph Transformations (FPP, ALW), pp. 304–318.
FASE-2000-FradetIR #mobile #non-functional
Analyzing Non-functional Properties of Mobile Agents (PF, VI, SR), pp. 319–333.
FASE-2000-Wehrheim #automation #case study #formal method #specification #using
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods (HW), pp. 334–348.
FASE-2000-HuneS #automaton #case study #synthesis #using
A Case Study on Using Automata in Control Synthesis (TH, AS), pp. 349–362.
FASE-2000-BalserRSST #development
Formal System Development with KIV (MB, WR, GS, KS, AT), pp. 363–366.
FASE-2000-LuthW #development #tool support
More About TAS and IsaWin — Tools for Formal Program Development (CL, BW), pp. 367–370.
FASE-2000-ClavelDELMMQ #maude #using
Using Maude (MC, FD, SE, PL, NMO, JM, JFQ), pp. 371–374.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.