[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Leveson, 1990 - Google Patents

Guest editor's introduction: formal methods in software engineering

Leveson, 1990

Document ID
1831284663229040253
Author
Leveson N
Publication year
Publication venue
IEEE Transactions on Software Engineering

External Links

Snippet

Abroad view of formal methods includes all appli-cations of (primarily) discrete mathematics to software engineering problems. This application usually involves modeling and analysis where the models and analysis procedures are derived from or defined by an underlying …
Continue reading at search.proquest.com (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/36—Software reuse
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition

Similar Documents

Publication Publication Date Title
Binns et al. Domain-specific software architectures for guidance, navigation and control
Davis et al. The software development system
Windley Formal modeling and verification of microprocessors
EP3842975B1 (en) Syntactical change-resistant code generation
Bell et al. Software design for reliability and reuse: A proof-of-concept demonstration
Berry et al. Esterel: A formal method applied to avionic software development
Van Leer Top-down development using a program design language
Leveson Guest editor's introduction: formal methods in software engineering
Farrell et al. Towards refactoring FRETish requirements
Bull et al. Bylands: reverse engineering safety-critical systems
Mitchell Managing complexity in software engineering
Gargantini et al. Integrating formal methods with model-driven engineering
Gannod et al. A formal approach for reverse engineering: a case study
Younger et al. Reverse engineering concurrent programs using formal modelling and analysis
Aït-Ameur et al. Robustness analysis of avionics embedded systems
Smith Rapid software prototyping
Crowley et al. Issues in the full scale use of formal methods for automated testing
Forte Tools fair: Out of the lab, onto the shelf
Marsso et al. Asynchronous testing of synchronous components in GALS systems
Stone et al. Improved modeling and validation of command sequences using a checkable sequence language
Yang Acquiring data designs from existing data-intensive programs
Garavel et al. An experiment with the lotos formal description technique on the flight warning computer of airbus 330/340 aircrafts
Shing CAPS-A Tool for Real-Time System Development and Acquisition
Fonorow Modeling software tools with Icon
Budgen et al. Augmenting the design process: Transformations from abstract design representations