The paper's specific concern is with softwareprocess modelling for the measurement of rework during application development using computer-aided software engineering (CASE) tools. In order to measure aspects of s...
详细信息
The paper's specific concern is with softwareprocess modelling for the measurement of rework during application development using computer-aided software engineering (CASE) tools. In order to measure aspects of software development, one needs a defined process that models the aspects of interest. The goals of this study are rather different from those of most other softwareprocess modelling studies which are typically concerned with process definition and understanding, development standardization, developer guidance, process assessment, evolution and improvement. Most softwareprocess models are intrusive, and intentionally so. In contrast, our model is as non-intrusive as is practicable to observe and measure certain aspects of CASE development in order to improve our understanding of software cost and schedule overruns. Model requirements and selection are described. The interlocking mechanisms of softwareprocess enaction and measurement are examined and placed within a larger architectural framework including process engineering and management. Some results and experiences with a small case study are presented including the observation that, although quite high-powered tools seem to be necessary for comprehensive softwareprocess modelling, much more modest tools may suffice for simpler, more specific, goal-oriented studies.
software production processes are subject to changes during their life-time. Therefore, softwareprocess formalism must include modifications to support the analysis and dynamic modification of process models, even wh...
详细信息
ISBN:
(纸本)0818637005
software production processes are subject to changes during their life-time. Therefore, softwareprocess formalism must include modifications to support the analysis and dynamic modification of process models, even while they are being enacted. It is thus necessary for a process model to have the ability to reason about its own structure. Petri net based process languages have been criticized because of the lack of these reflective features and their inability to effectively support process evolution. In this paper we present the reflective features offered by SLANG, a process formalism based on an high-level Petri net notation. In particular, we discuss the mechanisms to create and modify different net fragments while the modeled process is being enacted.
Marc Kellner proposed an example problem intending to compare modeling and describing techniques of softwareprocess.(6) In this paper, we will describe our approach to understanding and describing the problem, from a...
详细信息
Marc Kellner proposed an example problem intending to compare modeling and describing techniques of softwareprocess.(6) In this paper, we will describe our approach to understanding and describing the problem, from a process/product relation view, and synchronization/concurrent view. Also, we will show that a description of the problem is translated for execution and its correctness is validated.
The paper observes that current transaction models in databases are too strict for cooperative and long transactions in software engineering. On the other hand, unrestricted concurrency and data sharing is not desirab...
详细信息
The paper observes that current transaction models in databases are too strict for cooperative and long transactions in software engineering. On the other hand, unrestricted concurrency and data sharing is not desirable either. The paper describes a way to reduce the number of conflicts that may arise when several users cooperate to solve a task using a common database. Manual interaction among the users are made easier by helping a project manager to better partition, schedule and connect the users' local activities as part of a common task. Given a proposed project division, we can assess the connections between subprojects through impact analysis. Based on this analysis, the project manager can choose to adjust the initial partitioning to reduce the dependencies between subprojects. The impact analysis can further help the project manager to schedule the identified subprojects. Lastly, such analysis can be used to suggest suitable cooperation protocols between subprojects, being scheduled in parallel. Such protocols will guide mutual propagation and sharing of temporary results, and associated negotiation. The paper also reports the preliminary implementation status of this work in the EPOS kernel software engineering environment.
This paper integrates the premise that current software level practices within the aerospace industry are weak and that there is a lack of rigour in both technical and managerial areas. Results from a survey of practi...
详细信息
This paper integrates the premise that current software level practices within the aerospace industry are weak and that there is a lack of rigour in both technical and managerial areas. Results from a survey of practitioners are presented that indicate a lack of information interchange exists and that the use of formal techniques is limited. The paper proposes that this is indicative of poor life-cycle practices and that more rigorous methodologies, ones that integrate formal methods with quality practices, are required. A two-level model is proposed to address the issue.
Collecting information about the performance of a softwareprocess is a necessary step for the assessment of the process quality. Oikos is an environment for the definition and the enactment of softwareprocess models...
详细信息
Collecting information about the performance of a softwareprocess is a necessary step for the assessment of the process quality. Oikos is an environment for the definition and the enactment of softwareprocess models. This paper presents the Oikos approach to history recording. We define the events that compose the histories and explain how the events to be monitored can be selected. Finally, we discuss the implementation of the recording mechanism.
Competitive pressures on the software industry from home and abroad have encouraged organizations to examine the effectiveness of their software development and evolution processes. This examination is occurring withi...
详细信息
Competitive pressures on the software industry from home and abroad have encouraged organizations to examine the effectiveness of their software development and evolution processes. This examination is occurring within the context of establishing performance baselines, setting improvement goals, explicitly defining the normally implicit processes and measuring progress toward improvement goals. A typical objective of a company engaged in a software improvement initiative focused on achieving higher capability maturity levels is to document the current softwareprocess (i.e., "as is" baseline) and define one or more ideal processes (i.e., "to be" goal) to strive for.
作者：
Derniame, Jean-ClaudeGruhn, VolkerCRIN
Campus Scientifique University of Nancy Vandoeuvre-les-Nancy F-54506 BP no 239 France Bochum
D-44799 Universitaetsstrasse 140 Germany
In this article we describe the main results of the ESPRIT project ALF (in French: A ccueil de L ogiciel F utur or Advanced software Engineering Environments' Logistics Framework). In ALF we have developed a frame...
详细信息
The software development process is viewed as the evolution of an initial representation of the required system through a sequence of transformation steps and intermediate representations, culminating in the delivered...
详细信息
The software development process is viewed as the evolution of an initial representation of the required system through a sequence of transformation steps and intermediate representations, culminating in the delivered software. In the general case, the intermediate representations are based on different linguistic systems. It is argued that any representation and any transformation step can usefully be characterized in terms of its degree of possession of each of a small number of properties. It is then shown that the degree of possession of these properties can influence important softwareprocess outcomes. The paper concludes by claiming that the proposed paradigm brings one closer to the 'core' of the software development process than do most other approaches to softwareprocess modelling.
暂无评论