Results 251 to 260 of about 13,360,620 (292)
Some of the next articles are maybe not open access.
Modeling the software maintenance process: process-focused models
Proceedings. Conference on Software Maintenance, 1988., 1988The author explores some of the approaches that have been developed recently for modeling software maintenance processes. He begins by providing an overview of modeling approaches. >
openaire +1 more source
Proceedings of the June 7-10, 1982, national computer conference on - AFIPS '82, 1982
The Data Model Processor (DMP) is an interactive tool for defining and evaluating data models. It is based on Positional Set Notation, a formalism for uniform representation of data modeling objects. The DMP allows the user to enter a set-theoretic description of a data model's structures and a definition of the model's primitive operations based on ...
Matthew B. Koll +2 more
openaire +1 more source
The Data Model Processor (DMP) is an interactive tool for defining and evaluating data models. It is based on Positional Set Notation, a formalism for uniform representation of data modeling objects. The DMP allows the user to enter a set-theoretic description of a data model's structures and a definition of the model's primitive operations based on ...
Matthew B. Koll +2 more
openaire +1 more source
MODELLING OF BIOTECHNOLOGICAL PROCESSES
IFAC Proceedings Volumes, 1985Publisher Summary This chapter describes the modeling of biotechnological processes. In biotechnology, mathematical models can be developed on different levels such as molecular or enzyme level, intracellular component level, and cellular level. As constitutional enzymes are formed at constant rates independent of the cells surroundings, because of ...
openaire +1 more source
Modelling replicated processing
1993Our approach here (extending [2,3]) is to introduce an implementation relation that must hold between a target or base system and its intended replicated implementation. Moreover, such a relation is defined independently of replication. This enables a uniform treatment both of other implementation techniques than replication, and of different fault ...
Maciej Koutny +2 more
openaire +1 more source
Information and Software Technology, 1993
Abstract As the use of formal methods for computer systems development is now widely taught and commonly practised, their use for business process modelling is now considered. In the same way that formal system models are used to rationalize the implementations of complex computer systems, formal process models may be used to rationalize system ...
openaire +1 more source
Abstract As the use of formal methods for computer systems development is now widely taught and commonly practised, their use for business process modelling is now considered. In the same way that formal system models are used to rationalize the implementations of complex computer systems, formal process models may be used to rationalize system ...
openaire +1 more source
A Model of the Refinement Process
1992It is increasingly accepted that the top-down model of the design process is not realistic. Designers often work at many levels of abstraction simultaneously, applying insights gained at one level to modify both specifications and designs at other levels. A development method which will accommodate such opportunistic insights must allow the designer to
openaire +1 more source
1996
Knowledge is connected to a subject (a theory, a lesson) but Process Knowledge is connected to an object and to its production process. This leads to the need for a specific approach to the actual use of process knowledge models while carrying out processes. Models may then be constructed to guide, support and provide advice or instructions to users.
Pierre Maret, Jean-Marie Pinon
openaire +1 more source
Knowledge is connected to a subject (a theory, a lesson) but Process Knowledge is connected to an object and to its production process. This leads to the need for a specific approach to the actual use of process knowledge models while carrying out processes. Models may then be constructed to guide, support and provide advice or instructions to users.
Pierre Maret, Jean-Marie Pinon
openaire +1 more source
IEEE Software, 1994
Cleanroom software engineering is a team-oriented process that makes development more manageable and predictable because it is done under statistical quality control. The philosophy behind cleanroom software engineering is to avoid dependence on costly defect-removal processes by writing code increments right the first time and verifying their ...
openaire +1 more source
Cleanroom software engineering is a team-oriented process that makes development more manageable and predictable because it is done under statistical quality control. The philosophy behind cleanroom software engineering is to avoid dependence on costly defect-removal processes by writing code increments right the first time and verifying their ...
openaire +1 more source
2003
The new wave of agile and iterative processes, including Extreme Programming, the Unified Process, Scrum, and others represent the fruition of 30 years of investigation and encouragement to build software not according to the flawed "waterfall" model of three major phases of requirements - >design -> construct, but rather, in short (2-6 week) time ...
openaire +1 more source
The new wave of agile and iterative processes, including Extreme Programming, the Unified Process, Scrum, and others represent the fruition of 30 years of investigation and encouragement to build software not according to the flawed "waterfall" model of three major phases of requirements - >design -> construct, but rather, in short (2-6 week) time ...
openaire +1 more source