Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,418,353 papers from all fields of science
Search
Sign In
Create Free Account
Software construction
Software construction is a software engineering discipline. It is the detailed creation of working meaningful software through a combination of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
43 relations
Abstraction (software engineering)
Assertion (software development)
Component-based software engineering
Computational resource
Expand
Broader (1)
Software engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
A Composite Design Pattern for Object Frameworks
D. T. Tran
,
T. Huynh
Annual International Computer Software and…
2007
Corpus ID: 18978093
In this paper, we propose a composite design pattern which is the composition of well-known design patterns. We have used this…
Expand
Review
2006
Review
2006
Rigorous Methods for Software Construction and Analysis
T. Kanade
2006
Corpus ID: 10675212
We survey here the key objectives and the structure of the Dagstuhl Seminar 06191, which was organized as Festkolloquium on the…
Expand
2003
2003
Formal Agility . How much of each ?
Ángel Herranz
,
J. Moreno-Navarro
2003
Corpus ID: 15370635
Agile Processes and Formal Methods (FM), water and oil, impo ssible mixture? Yes at first sight. Nevertheless, being formal m…
Expand
2002
2002
Automating Embedded Software Construction and Analysis with Design Models ∗
Shige Wang
,
S. Kodase
,
K. Shin
2002
Corpus ID: 18982548
The design and construction of Embedded SoftWare (ESW) has become critically important to the development of widely and rapidly…
Expand
2000
2000
A General Model for Component-based Software
B. Song
2000
Corpus ID: 15819131
ion Gradient Both VisualAge for Java and Java Studio are based on the JavaBean component model implemented by Java; so they are…
Expand
1998
1998
Implementing reusable object-oriented components
Y. Smaragdakis
,
D. Batory
Proceedings. Fifth International Conference on…
1998
Corpus ID: 2462923
Object oriented (OO) classes are generally not reusable because they are not meaningful in isolation; most classes only have…
Expand
1998
1998
A specification and code generation tool for message translation and validation
C. Plinta
,
R. D'Ippolito
,
R. V. Scoy
SIGAda Conference
1998
Corpus ID: 6784293
This paper describes the Message Translation and Validation (MTV) problem common to most computer-based applications, and a model…
Expand
1994
1994
Triadic domain model-based development of software systems
K. Itoh
,
Y. Tamura
,
S. Kishima
Proceedings of 3rd International Conference on…
1994
Corpus ID: 35782803
The authors present the Triadic Domain Model (TDM)-based system development environment. The main purpose is to integrate system…
Expand
1991
1991
Mathematics of software construction
A. Norcliffe
,
Gil Slater
1991
Corpus ID: 60359117
why mathematics modelling inputs and outputs programs as functions functional specifications the top-down approach coping with…
Expand
1984
1984
Build — A software construction tool
V. B. Erickson
,
J. Pellegrin
AT&T Bell Laboratories Technical Journal
1984
Corpus ID: 44235700
The build tool is used as a sophisticated method of generating and modifying software systems. Bui Id is being used successfully…
Expand