Very High Level design methods emphasize automatic transfer of requirements to formal design specifications, and/or may concentrate on automatic transformation of formal design specifications that include some semantic information of the system into machine executable form. Very high level design methods range from general domain independent methods to approaches implementable for specific applications or domains. Applying AI techniques, abstract programming methods, domain heuristics, software engineering tools, library-based programming and other methods different approaches for higher level software design are being developed. Though one finds that a given approach does not always fall exactly in any specific class, this paper provides a...
The goal of the research described in this thesis was to build a system that supports without inter...
Enclosed is a list of selected and recent publications. Most of these publications concern applied r...
Program design is an area of programming that can benefit significantly from machine-mediated assist...
[[abstract]]Software design is the process which translates the requirements into a detailed design ...
Formal methods for developing software use mathematical frameworks to specify, develop and verify so...
The main objective of this paper is to put forward a software process model for high-performance sy...
An account is given of some recent developments and trends related to the development and use of for...
This paper focuses on the use of high-level non-procedural languaGes for stating system requirements...
This paper presents a Z formal framework to describe software design methodologies (SDM) for high-pe...
As the digital hardware systems grow in complexity and size, the trend in system design has been to ...
The evolution of Computer Aided Design (CAD) calls for the incorporation of design specifications in...
This research is intended as an initial step toward the development of a rigorous science of design ...
This paper describes a domain-specific software design system based on the concepts of software arch...
This paper gives an introduction to the latest developments in modern electronic design methodology....
As the inherent complexity of hypermedia applications grows, the need for high-level design models a...
The goal of the research described in this thesis was to build a system that supports without inter...
Enclosed is a list of selected and recent publications. Most of these publications concern applied r...
Program design is an area of programming that can benefit significantly from machine-mediated assist...
[[abstract]]Software design is the process which translates the requirements into a detailed design ...
Formal methods for developing software use mathematical frameworks to specify, develop and verify so...
The main objective of this paper is to put forward a software process model for high-performance sy...
An account is given of some recent developments and trends related to the development and use of for...
This paper focuses on the use of high-level non-procedural languaGes for stating system requirements...
This paper presents a Z formal framework to describe software design methodologies (SDM) for high-pe...
As the digital hardware systems grow in complexity and size, the trend in system design has been to ...
The evolution of Computer Aided Design (CAD) calls for the incorporation of design specifications in...
This research is intended as an initial step toward the development of a rigorous science of design ...
This paper describes a domain-specific software design system based on the concepts of software arch...
This paper gives an introduction to the latest developments in modern electronic design methodology....
As the inherent complexity of hypermedia applications grows, the need for high-level design models a...
The goal of the research described in this thesis was to build a system that supports without inter...
Enclosed is a list of selected and recent publications. Most of these publications concern applied r...
Program design is an area of programming that can benefit significantly from machine-mediated assist...