Results 221 to 230 of about 630,059 (264)
Some of the next articles are maybe not open access.
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
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, 2002The 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
2018Performance 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, 2000SUMMARY 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, 2005The 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
Constructing self-testable software components
Proceedings International Conference on Dependable Systems and Networks, 2002Component-based software engineering techniques are gaining substantial because of their potential to improve productivity and lower development costs of new software applications, yet satisfying high reliability requirements. A first step to address such high reliability requirements consists in reusing reliable components.
Eliane Martins +2 more
openaire +1 more source
Software construction by configuration: challenges for software engineering research
21st IEEE International Conference on Software Maintenance (ICSM'05), 2005In this article the author discusses the problems of software construction by configuration and explains why this is a challenging area for software engineering researchers. The author believes that the software maintenance research community has a key role to play in this research.
openaire +1 more source
A formal approach to large SOFTWARE CONSTRUCTION
1989In this short synthesis, we have shown that the theory of software construction exists and begins to be applied.
openaire +1 more source