Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods (Englisch)
Freier Zugriff
- Neue Suche nach: Wehrheim, Heike
- Neue Suche nach: Wehrheim, Heike
In:
Fundamental Approaches to Software Engineering
8
;
334-348
;
2000
-
ISSN:
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods
-
Beteiligte:Wehrheim, Heike ( Autor:in )
-
Erschienen in:Fundamental Approaches to Software Engineering , 8 ; 334-348Lecture Notes in Computer Science ; 1783, 8 ; 334-348
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2000
-
Format / Umfang:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Essay on Software Engineering at the Turn of CenturyTurski, Władysław M. et al. | 2000
- 21
-
Memex Is Not EnoughSoley, Richard Mark et al. | 2000
- 22
-
From Play-In Scenarios to Code: An Achievable DreamHarel, David et al. | 2000
- 35
-
Parallel Refinement Mechanisms for Real-Time SystemsKolano, Paul Z. / Kemmerer, Richard A. / Mandrioli, Dino et al. | 2000
- 51
-
Applying RT-Z to Develop Safety-Critical SystemsSühl, Carsten et al. | 2000
- 66
-
A Process Algebra for Real-Time ProgramsDierks, Henning et al. | 2000
- 82
-
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal ApproachesDondossola, Giovanna / Botti, Oliver et al. | 2000
- 97
-
Structuring and Design of Reactive Systems Using RSDS and BLano, K. / Androutsopoulos, K. / Clark, D. et al. | 2000
- 112
-
Using Domain-Specific Languages for the Realization of Component CompositionAnlauff, Matthias / Kutter, Philipp W. / Pierantonio, Alfonso / Sünbül, Asuman et al. | 2000
- 127
-
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal ApproachReggio, G. / Astesiano, E. / Choppy, C. / Hussmann, H. et al. | 2000
- 147
-
Software as Learning: Quality Factors and Life-Cycle RevisedHernández-Orallo, José / Ramírez-Quintana, Ma José et al. | 2000
- 163
-
What Is ‘Mathematicalness’ in Software Engineering?Kondoh, Hidetaka et al. | 2000
- 178
-
A Formal Approach to Heterogeneous Software ModelingEgyed, Alexander / Medvidovic, Nenad et al. | 2000
- 193
-
Formal Specification of Object-Oriented Meta-modellingÖvergaard, Gunnar et al. | 2000
- 208
-
Verification of Object Oriented Programs Using Class InvariantsHuizing, Kees / Kuiper, Ruurd / SOOP et al. | 2000
- 222
-
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design ProblemGruer, Pablo / Hilaire, Vincent / Koukam, Abder et al. | 2000
- 237
-
A Model for Describing Object-Oriented Systems from Multiple PerspectivesNelson, Torsten / Cowan, Donald / Alencar, Paulo et al. | 2000
- 249
-
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net SystemsPadberg, J. / Hoffmann, K. / Gajewsky, M. et al. | 2000
- 266
-
Ready-Simulation Is Not Ready to Express a Modular Refinement RelationBellegarde, Françoise / Julliand, Jacques / Kouchnarenko, Olga et al. | 2000
- 284
-
Java Program Verification via a Hoare Logic with Abrupt TerminationHuisman, Marieke / Jacobs, Bart et al. | 2000
- 304
-
Foundations for Software Configuration Management Policies Using Graph TransformationsParisi-Presicce, Francesco / Wolf, Alexander L. et al. | 2000
- 319
-
Analyzing Non-functional Properties of Mobile AgentsFradet, Pascal / Issarny, Valérie / Rouvrais, Siegfried et al. | 2000
- 334
-
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal MethodsWehrheim, Heike et al. | 2000
- 349
-
A Case Study on Using Automata in Control SynthesisHune, Thomas / Sandholm, Anders et al. | 2000
- 363
-
Formal System Development with KIVBalser, Michael / Reif, Wolfgang / Schellhorn, Gerhard / Stenzel, Kurt / Thums, Andreas et al. | 2000
- 367
-
More About TAS and IsaWin — Tools for Formal Program DevelopmentLüth, Christoph / Wolff, Burkhart et al. | 2000
- 371
-
Using MaudeClavel, Manuel / Durán, Fransisco / Eker, Steven / Lincoln, Patrick / Martí-Oliet, Narciso / Meseguer, Jose / Quesada, Jose F. et al. | 2000