A formal framework for ASTRAL intra-level proof obligations (Englisch)
Nationallizenz
- Neue Suche nach: Coen-Porisini, Alberto
- Neue Suche nach: Kemmerer, Richard A.
- Neue Suche nach: Mandrioli, Dino
- Neue Suche nach: Coen-Porisini, Alberto
- Neue Suche nach: Kemmerer, Richard A.
- Neue Suche nach: Mandrioli, Dino
In:
Software Engineering — ESEC '93
;
483-500
;
1993
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:A formal framework for ASTRAL intra-level proof obligations
-
Beteiligte:Coen-Porisini, Alberto ( Autor:in ) / Kemmerer, Richard A. ( Autor:in ) / Mandrioli, Dino ( Autor:in )
-
Erschienen in:Software Engineering — ESEC '93 ; 483-500Lecture Notes in Computer Science ; 717 ; 483-500
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.1993
-
Format / Umfang:18 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
-
On the decline of classical programmingProfessor Buxton, J. N. et al. | 1993
- 10
-
Computers are not omnipotentHarel, David et al. | 1993
- 11
-
Real-time systems: A survey of approaches to formal specification and verificationGhezzi, Carlo / Felder, Miguel / Bellettini, Carlo et al. | 1993
- 37
-
Software engineering in business and academia: How wide is the gap?Denert, Ernst et al. | 1993
- 48
-
Software faults in evolving a large, real-time system: a case studyPerry, Dewayne E. / Stieg, Carol S. et al. | 1993
- 68
-
The Experience Factory and its relationship to other Improvement ParadigmsBasili, Victor R. et al. | 1993
- 84
-
Inconsistency handling in multi-perspective specificationsFinkelstein, A. / Gabbay, D. / Hunter, A. / Kramer, J. / Nuseibeh, B. et al. | 1993
- 100
-
Requirements engineering: An integrated view of representation, process, and domainJarke, Matthias / Pohl, Klaus / Jacobs, Stephan / Bubenko, Janis / Assenova, Petia / Holm, Peter / Wangler, Benkt / Rolland, Colette / Plihon, Veronique / Schmitt, Jean -Roch et al. | 1993
- 115
-
Making changes to formal specifications: Requirements and an exampleBustard, David W. / Winstanley, Adam C. et al. | 1993
- 127
-
Formal requirements made practicalHagelstein, J. / Roelants, D. / Wodon, P. et al. | 1993
- 145
-
Databases for software engineering environmentsEmmerich, Wolfgang / Schäfer, Wilhelm / Welsh, Jim et al. | 1993
- 163
-
A regression testing database modelLiu, Lulu / Robson, David J. / Ellis, Rod et al. | 1993
- 175
-
Experiences with a federated environment testbedBrown, Alan W. / Morris, Edwin J. / Zarrella, Paul F. / Long, Fred W. / Caldwell, W. Michael et al. | 1993
- 197
-
Observations on object management systems and process support in environmentsThomas, Ian et al. | 1993
- 213
-
Software technology for a distributed telecommunication systemEggers, Harald et al. | 1993
- 226
-
Industrial software development — a case studyCederling, Ulf et al. | 1993
- 238
-
Quantitative approach to software management: the ami methodKuntzmann-Combelles, Annie et al. | 1993
- 251
-
Preventative software engineeringReichardt, Johannes et al. | 1993
- 263
-
Distributed information systems: An advanced methodologyAue, Alfred / Breu, Michael et al. | 1993
- 283
-
Tractable flow analysis for anomaly detection in distributed programsCheung, S. C. / Kramer, J. et al. | 1993
- 301
-
A pragmatic task design approach based on a Ward/Mellor real-time structured specificationTuya, J. / Sánchez, L. / Zurita, R. / Corrales, J. A. et al. | 1993
- 313
-
Integration of structured analysis and timed statecharts for real-time and concurrency specificationBeeck, Michael et al. | 1993
- 329
-
Language constructs for cooperative systems designDePaoli, Flavio / Tisato, Francesco et al. | 1993
- 344
-
Scrutiny: A collaborative inspection and review systemGintell, John / Arnold, John / Houde, Michael / Kruszelnicki, Jacek / McKenney, Roland / Memmi, Gérard et al. | 1993
- 361
-
COO: A transaction model to support cooperating software developers CoordinationGodart, C. et al. | 1993
- 380
-
An experiment in software retrievalAdams, Rolf et al. | 1993
- 397
-
Using formal methods to construct a software component libraryJeng, Jun -Jang / Cheng, Betty H. C. et al. | 1993
- 418
-
Capsule oriented reverse engineering for software reuseGall, Harald / Klösch, René et al. | 1993
- 434
-
Automatic replanning of task networks for process model evolution in EPOSLiu, Chunnian / Conradi, Reidar et al. | 1993
- 451
-
Provence: A process visualization and enactment environmentKrishnamurthy, Balachander / Barghouti, Naser S. et al. | 1993
- 466
-
Process programming with active and passive componentsBreiteneder, Christian J. / Mueck, Thomas A. et al. | 1993
- 483
-
A formal framework for ASTRAL intra-level proof obligationsCoen-Porisini, Alberto / Kemmerer, Richard A. / Mandrioli, Dino et al. | 1993
- 501
-
Assertion-based debugging of imperative programs by abstract interpretationBourdoncle, François et al. | 1993