Nothing Special   »   [go: up one dir, main page]

Bröckers et al., 1993 - Google Patents

Computer-aided verification of software process model properties

Bröckers et al., 1993

View PDF
Document ID
10017618593323226826
Author
Bröckers A
Gruhn V
Publication year
Publication venue
Advanced Information Systems Engineering: 5th International Conference, CAiSE'93 Paris, France, June 8–11, 1993 Proceedings 5

External Links

Snippet

In this paper we introduce an approach to computer-aided verification of software process model properties. This approach uses a net-based software process modeling language called FUNSOFT nets. FUNSOFT nets are highlevel Petri nets which are adapted to the …
Continue reading at www.researchgate.net (PDF) (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
    • 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
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • 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/3668—Software testing
    • 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/20—Handling natural language data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • 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
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G06Q10/063—Operations research or analysis
    • G06Q10/0631—Resource planning, allocation or scheduling for a business operation
    • G06Q10/06316—Sequencing of tasks or work
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • 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
    • 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

Similar Documents

Publication Publication Date Title
Deiters et al. The FUNSOFT net approach to software process management
Bracchi et al. The design requirements of office systems
Rolland et al. A proposal for a scenario classification framework
Clements A survey of architecture description languages
Balci Requirements for model development environments
Palanque et al. Synergistic modelling of tasks, users and systems using formal specification techniques
Xiong New software engineering paradigm based on complexity science: an introduction to NSE
Berzins et al. Using transformations in specification-based prototyping
Oswald et al. An environment for specifying and executing hierarchical Petri nets
Garg et al. The SMART approach for software process engineering
Krut Integrating 001 tool support into the feature-oriented domain analysis methodology
Bröckers et al. Computer-aided verification of software process model properties
Berenbach et al. A unified requirements model; integrating features, use cases, requirements, requirements analysis and hazard analysis
Casotto et al. Automated design management using traces
Denker et al. Troll–An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics
Krone et al. Developing an Information System using Troll—an application field study
Palanque et al. Towards an integrated proposal for Interactive Systems design based on TLIM and ICO
Grau et al. A validation system for object-oriented specifications of information systems
Crowley et al. Issues in the full scale use of formal methods for automated testing
Sage et al. Pragmatic formal design: A case study in integrating formal methods into the HCI development cycle
Nour Ontology-based retrieval of software engineering experiences
Stotts et al. Modeling and prototyping collaborative software processes
Kivisto Considerations of and suggestions for a UML-specific process model
Alspaugh Scenario networks and formalization for scenario management
Balter Alison Balter's Mastering Microsoft Access 2000 Development