Johann Hörl  Home/Search
Context
Related
| ist.tugraz.ac.at/...STMSC9901.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ist.tugraz.ac.at/Publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Despite the fact that research interest in formal methods has been growing rapidly in the last years, they are rarely used in industry. The company FREQUENTIS has identified that formal methods may be helpful to improve its products. The aim of this thesis is to introduce the idea of formal methods to the company FREQUENTIS. So-called light-weight formal methods have been used to allow a smooth integration of formal methods into their current development process. To show different applications... (Update)
Active bibliography (related documents): More All
0.6: Database Development of a Work-Flow Planning and Tracking.. - Schlatte, Aichernig (1999) (Correct)
0.6: Software Engineering Education: Roles of Formal.. - Bjørner.. (1998) (Correct)
0.5: The VDM Bibliography - Larsen (1996) (Correct)
Similar documents based on text: More All
1.0: Distributed Objects - CORBA versus COM: A Comparison of.. - Bergler (Correct)
0.9: Systematic Black-Box Testing of Computer-Based Systems through.. - Aichernig (2001) (Correct)
0.8: Three-Dimensional Information Visualisation: The Harmony.. - Wolf (1996) (Correct)
BibTeX entry: (Update)
@misc{ rl-formal,
author = "Johann Hörl",
title = "Formal Specification of a Voice Communication System used in Air Traffic
Control",
url = "citeseer.ist.psu.edu/62821.html" }
Citations (may not include all citations):322 A Spiral Model of Software Development and Enhancement (context) - Boehm - 1985
237 Software Testing Techniques (context) - Beizer - 1990
227 Formal Methods: State of the Art and Future Directions - Clarke, Wing - 1996
123 Seven Myths of Formal Methods (context) - Hall - 1990
62 Seven More Myths of Formal Methods - Bowen, Hinchey - 1995
57 An International Survey of Industrial Applications of Formal.. - Craigen, Gerhart et al. - 1993
40 Proof in VDM: A Practitioner's Guide (context) - Bicarregui, Fitzgerald et al. - 1994
29 Experiences Using Lightweight Formal Methods for Requirement.. - Easterbrook, Lutz et al. - 1998
24 Prentice-Hall International Series in Computer Science (context) - Hinchey, Bowen et al. - 1995
24 Formal Methods for Verification and Validation of partial sp.. - Easterbrook, Callahan - 1998
21 Black-Box Testing: Techniques for Functional Testing of Soft.. (context) - Beizer - 1995
18 JAVA in a nutshell: a desktop quick reference for Java progr.. (context) - Flanagan - 1996
11 Transformational implementation: An example (context) - Balzer - 1981
10 Lightweight Formal Methods For Computer Algebra Systems - Dunstan, Kelsey et al. - 1998
9 Book: Assigning Programs to Meanings (context) - Abrial - 1996
4 Automated requirements testing with abstract oracles (context) - Aichernig - 1998
3 Software Test Coverage Analysis (context) - Cornett
3 What is formal methods (context) - Holloway - 1998
2 FME'97: Industrial Applications and Strengthened Foundations.. (context) - Fitzgerald, Jones et al. - 1997
2 LFM97: Fourth NASA Langley Formal Methods Workshop (context) - Holloway, Hayhurst - 1997
2 The Development of Concurrent and Real-Time Systems using VD.. (context) - Durr, Goldsack - 1995
2 Generating Test Oracles Via Model Checking - Callahan, Easterbrook - 1998
2 Lightweight Approaches to Validation of Requirements Specifi.. (context) - Easterbrook, Callahan et al.
1 Towards a Meaning of `M' in VDM (context) - Bjorner - 1989
1 VCS 3020S Voice Communication System: System Description (context) - Bruckler - 1996
1 Voice Communication System VCS 3020S : TMCS User Manual (context) - Bruckler - 1996
1 Industrial Practice: Impediments to Industrial Use of Formal.. (context) - Holloway, Butler - 1996
1 ESA Board for Software Standardisation and Control (context) - Agency - 1991
1 Voice Communication System 3020 Series: User Interface Speci.. (context) - Heckhausen - 1997
Documents on the same site (http://www.ist.tu-graz.ac.at/Publications): More
Increasing Confidence in Implicit Function Definition - Droschl (1998) (Correct)
Teaching Programming to the Uninitiated using Mathematica - Aichernig (1998) (Correct)
A Telephone Exchange Specification in VDM-SL - Aichernig (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC