Results 231 to 240 of about 630,059 (264)

Incremental Software Construction with Refinement Diagrams

2005
We propose here a mathematical framework for incremental software construction and controlled software evolution. The framework allows incremental changes of a software system to be described on a high architecture level, but still with mathematical precision so that we can reason about the correctness of the changes.
openaire   +2 more sources

Diversity in Software Design and Construction Teaching: A Systematic Literature Review

Education Sciences, 2023
Sandro Ronaldo Bezerra Oliveira, Vitor De Souza Castro   +1 more
exaly  

Perspectives on a BIM-integrated software platform for robotic construction through Contour Crafting

Automation in Construction, 2018
Omid Davtalab, Ali Kazemian, Behrokh Khoshnevis   +2 more
exaly  

Patterns of Software Construction

2022
openaire   +1 more source

The design and construction of software systems

1973
openaire   +2 more sources

QTL IciMapping: Integrated software for genetic linkage map construction and quantitative trait locus mapping in biparental populations

Crop Journal, 2015
Luyan Zhang, Jiankang Wang, Huihui Li
exaly  

Optimizing Software Construction.

2005
CUADRADO J, PACCIARELLI, Dario, PRANZO M, RODRÍGUEZ MORENO M. D.   +3 more
openaire   +2 more sources

Software Construction

2016
openaire   +1 more source

Software Construction, Part 2

IEEE Software, 2006
openaire   +1 more source

ClientPro: a prototype software for client requirements processing in construction

Advances in Engineering Software, 2001
C J Anumba
exaly