Knowledge-Based Automation of a Design Method for Concurrent Systems

No abstract is available for this paper.

• Publication year

  2002

• Venue

  IEEE Trans. Software Eng.

• Publication date

  2002-03-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/32.991319
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Logic Programming

  2003cited by this paper
• Real-Time UML

  2002cited by this paper
• A knowledge-based method for inferring semantic concepts from visual models of system behavior

  2000cited by this paper
• System Development

  2000cited by this paper
• Designing concurrent, distributed, and real-time applications with UML

  2000cited by this paper
• The Unified Modeling Language User Guide

  1998cited by this paper
• A Knowledge-Based Method for Inferring Semantic Concepts from Graphical Models of Real-time Systems

  1998cited by this paper
• UML toolkit

  1997cited by this paper
• Automated generation of concurrent designs for real-time software

  1996cited by this paper
• Software design methods for concurrent and real-time systems

  1993influential reference
• Object lifecycles: modeling the world in states

  1992cited by this paper
• Knowledge Representation and Reasoning in the Design of Composite Systems

  1992cited by this paper
• Transformations using a meta-system approach to software development

  1992cited by this paper
• Supporting Software Designers with Integrated Domain-Oriented Design Environments

  1992cited by this paper
• Easy programming: empowering people to build their own applications

  1992cited by this paper
• Semantic networks and associative databases: two approaches to knowledge representation and reasoning

  1992cited by this paper
• Seven Layers of Knowledge Representation and Reasoning in Support of Software Development

  1992cited by this paper
• Object-oriented analysis (2nd ed.)

  1991cited by this paper
• Automatic Synthesis of SARA Design Models From System Requirements

  1991cited by this paper
• Toward a design apprentice: supporting reuse and evolution in software design

  1991cited by this paper
• Validating the ADARTS software design method for real-time systems

  1991cited by this paper
• KIDS - A Knowledge-Based Software Development System

  1991cited by this paper
• Object-Oriented Modeling and Design

  1991cited by this paper
• The programmer's apprentice

  1990cited by this paper
• Object-Oriented Design with Applications

  1990cited by this paper
• Structuring Criteria For Real Time System Design

  1989cited by this paper
• Nasa National Aeronautics and Space Administration

  1989cited by this paper
• Designing large real-time systems with Ada

  1988cited by this paper
• Automatic programming: myths and prospects

  1988cited by this paper
• The Programmer's Apprentice: a research overview

  1988cited by this paper
• An Automated Software Design Assistant

  1988cited by this paper
• Intelligent support for specifications transformation

  1988cited by this paper
• Object-oriented analysis

  1988cited by this paper
• Strategies for Real-Time System Specification

  1987cited by this paper
• SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems

  1986cited by this paper
• Object-oriented development

  1986cited by this paper
• Software development of real-time systems

  1986cited by this paper
• Structured Development for Real-Time Systems

  1986cited by this paper
• Domain-Specific Automatic Programming

  1985cited by this paper
• Rule-based systems

  1985cited by this paper
• An Overview of the KL-ONE Knowledge Representation System

  1985cited by this paper
• The role of frame-based representation in reasoning

  1985cited by this paper
• A software design method for real-time systems

  1984cited by this paper
• Pattern Recognition as Rule-Guided Inductive Inference

  1980cited by this paper
• Structured design

  1979cited by this paper
• A Framework for Future Internet-Based TV Broadcasting

  1974cited by this paper
• On the criteria to be used in decomposing systems into modules

  1972cited by this paper

• An Object-Oriented Analysis and Design Environment

  2016cites this paper
• Application of knowledge-based approaches in software architecture: A systematic mapping study

  2013cites this paper
• An ontology for software requirements modelling

  2012cites this paper
• Association-Based Conceptual Modeling for Smart Database Design

  2011cites this paper
• A framework for the semantic representation of energy policies related to electricity generation

  2011cites this paper
• Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures

  2011cites this paper
• Atomic Basic Blocks - Eine Abstraktion für die gezielte Manipulation der Echtzeitsystemarchitektur

  2011cites this paper
• Supporting Quality-Driven Software Design through Intellectual Assistants

  2010cites this paper
• A proposed Ontology to support Modeling Diagrams

  2010cites this paper
• IJCSI Publicity Board 2010

  2010cites this paper
• Context-Adaptive Approach for Automated Entity Relationship Modeling

  2010cites this paper
• Automated Conceptual Data Modeling Using Association Rule Mining

  2009cites this paper
• Appendix A: Appendix to Chapter 3

  2009cites this paper
• Improving predictability and resource utilization in component-based embedded real-time systems

  2008cites this paper
• OPTIMA: An Ontology-Based PlaTform-specIfic software Migration Approach

  2007cites this paper
• Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements

  2007cites this paper
• Behavior-Inductive Data Modeling for Enterprise Information Systems

  2007cites this paper
• The Structured Design of a Reconfigurable Control Process

  2006cites this paper
• Transformation of component models to real-time models

  2005cites this paper
• Expert system methodologies and applications - a decade review from 1995 to 2004

  2005cites this paper
• Modular system synthesis: example for composite packaged software

  2005cites this paper
• Optimizing resource usage in component-based real-time systems

  2005cites this paper
• Significance of AI in Solving Problems That Can Not Be Foreseen Beforehand

  2004cites this paper
• Calculating Resource Trade-offs when Mapping Component Services to Real-Time Tasks

  2004cites this paper
• EVALUATING THE AUTOMATION OF ARCHITECTURE-BASED DESIGN ACTIVITIES

  2003cites this paper
• Transforming structural model to runtime model of embedded software with real-time constraints

  2003cites this paper