Results 261 to 270 of about 6,621,117 (310)

Practice [software construction]

IEEE Software, 2004
The concept of "construction" is being a separate activity in the development process. Having something called "construction" makes it easy for some in the industry to Balkanize the concept. Construction has connotations that make it seem somewhat manual compared to the more cerebral "analysis" and "design" phases.
D. Thomas, A. Hunt
openaire   +1 more source

Global Software Enterprise: A New Software Constructing Architecture

The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06), 2006
Based on current Service-Oriented Architecture (SOA), this paper introduces a consumer-oriented SOA software constructing architecture: the Global Software Enterprise (GSE) architecture. In this architecture, the software construction starts from the consumers’ publishing their requirements in the form of application or service specification which they
Wei-Tek Tsai, Bingnan Xiao, Raymond A. Paul, Qian Huang 0002, Yinong Chen 0004   +4 more
openaire   +2 more sources

On constructing large software systems

1993
Although we have in mind a particular approach of software construction which we have been developing and using for some years, our intention is not to describe a specific method here, it is only to give a number of guidelines and rules of thumb that we re-discover little by little and which can be used, we think, whatever the technical environment at ...
openaire   +2 more sources

Construct Validity in Software Engineering Research and Software Metrics

Proceedings of the 22nd International Conference on Evaluation and Assessment in Software Engineering 2018, 2018
Construct validity is essentially the degree to which our scales, metrics and instruments actually measure the properties they are supposed to measure. Although construct validity is widely considered an important quality criterion for most empirical research, many software engineering studies simply assume that proposed measures are valid and make no ...
Paul Ralph, Ewan D. Tempero
openaire   +2 more sources

A reuse culture for software construction

1993
In this position paper we advocate the idea of creating a new style of software construction that is based on the systematic reuse of application specific collections of software components and design structures together with corresponding process models.
openaire   +2 more sources

Software Pattern Constructs

1987
A software pattern construct is a syntactical structure in a higher order language which provides examples of correct format for common programming expressions. Typical applications include: input and output phrasing and the use of prompts; control structures; conditional and logical constructs; and secondary data structures as arrays, records, and ...
Ross A. Gagliano, G. Scott Owen
openaire   +1 more source

Using CARE to construct verified software

Proceedings First IEEE International Conference on Formal Engineering Methods, 2002
The CARE project investigated integration of well understood formal development principles into an industrial organisation's software development methodology. The result was a method for construction and verification of programs from formal specifications, using libraries of pre proven, formally specified components.
Lindsay Peter, Hemer David
openaire   +3 more sources

Towards Software Performance by Construction

2018
Performance is an important extra-functional factor that directly impacts on the quality of a software system as perceived by its users. It indicates how well the software behaves, thus complementing functional properties that concern what the software does. Its ever-increasing relevance cannot be underestimated.
openaire   +1 more source

A maintenance-oriented approach to software construction

Journal of Software Maintenance: Research and Practice, 2000
SUMMARY Maintenance is not only performed after a software product has been delivered to the client. On the contrary, the requirements frequently change during development, thereby necessitating reconstruction of the artifacts that have been developed to date.
Stephen R. Schach, Amir Tomer
openaire   +2 more sources

Template-based construction of verified software

IEE Proceedings - Software, 2005
The use of formal verification to prove the correctness of software is increasingly being mandated by international standards for the development of safety critical systems. While formal development environments exist to assist in formal software development, formal verification is still an extremely difficult and time-consuming task, requiring expert ...
David Hemer, Peter A. Lindsay
openaire   +3 more sources