4,951 papers · page 222 of 248
A Formal Adaptation Method for Process Descriptions
Requirement to describing software development processes in formal manners has been increased, and demand for altering and tailoring the process descriptions has been emerged.In this paper, we propose a functional language PDL (Process Description Language), designed to describe …
Software Development in the Year 2000
No abstract available.
Software Engineering for Business DP: Looking Back and Looking Forward
No abstract available.
An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment
This paper describes an algebraic data type specification language, called ADTS, and its associated rapid prototyping environment.ADTS is a specification and design language that supports constructivity and includes software engineering principles as modularity, parameterization …
Completeness, Robustness, and Safety in Real-Time Software Requirements Specification
This paper presents an approach to providing a rigorous basis for ascertaining whether or not a given set of software requirements is internally complete, i.e., closed with respect to questions and inferences that can be made on the basis of information included in the specificat…
A Model for the Reuse of Software Design Information
This paper presents a general model for the representation and manipulation of module level software design information, leading to the effective reuse of software design information across different programming languages.Language independent design documents are represented as A…
A Hierarchical and Functional Software Process Description and Its Enaction
Article A hierarchical and functional software process description and its enaction Share on Author: Takuya Katayama Department of Computer Science, Tokyo Institute of Technology, 2-12-1, Ookayama Meguro-ku Tokyo Japan 152 Department of Computer Science, Tokyo Institute of Techno…
Software Process Modeling Experience (Panel Session Position Paper)
No abstract available.
Completely Validated Software
SRE: A Knowledge-Based Environment for Large-Scale Software Re-Engineering Activities
In this paper, we address issues related to the reengineering of large-scale software systems. The key to the software re-engineering activity is the ability to recover (re-engineer) lost or otherwise unavailable information concerning specification and system design decisions fr…
Mathematics-Based Software Engineering for Completely Validated Software
No abstract available.
Task Interaction Graphs for Concurrency Analysis
A representation for concurrent programs, called task inter-action graphs, is presented. Task interaction graphs divide a program into maximal sequential regions connected by edges rep-resenting task interactions. This representation is illustrated and it is shown how it can be u…
The IDeA Design Environment
The design of software is a complex process requiring the software designer to simultaneously perform a variety of activities. These include the exploration and analysis of design alternatives, the consideration and reuse of previous solutions, the management of design goals, dep…
The Dimensionality of Program Complexity
Software complexity metrics attempt to define the unique characteristics of computer programs in an analytical way.Many such metrics have been developed to explain various perceived differences among programs.Many studies have been conducted to show the similarity among classes o…
Stepwise Refinement Process with Modularity: An Algebraic Approach
Article Stepwise refinement process with modularity Share on Authors: Ataru T. Nakagawa Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPAN Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPANView Profile , Kokichi …
An Error Complexity Model for Software Reliability Measurement
Many simple software errors are found in earlier software test phases.The ratio of complex errors to simple errors gradually increases with continual testing.This paper describes a software reliability model called the Error Complexity Model.In this model, errors are classified b…
Does Imperfect Debugging Affect Software Reliability Growth?
This paper discusses the improvement of conventional software reliability growth models by elimination of the unreasonable assumption that errors or faults in a program can be perfectly removed when they are detected.The results show that exponential-type software reliability gro…
The Relationship between Slices and Module Cohesion
High module cohesion is often suggested as a desirable property of program modularity.The subjective nature of the definition of cohesion, however, can make it difficult to use in practice.In this paper, we examine the relationship between the data flow in a module and its level …
Tools to Support Formal Methods
A key factor in the acceptance of high level programming languages has been the development of a comprehensive set of tools to support the user. If formal languages for specification are to achieve the same level of acceptance, they too will require extensive automated support. T…