Results 231 to 240 of about 504,509 (264)

Software evolution—Background, theory, practice

Information Processing Letters, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Meir M Lehman, Juan F Ramil
exaly   +3 more sources

A syntactic theory of software architecture

IEEE Transactions on Software Engineering, 1995
Introduces a general, extensible diagrammatic syntax for expressing software architectures based on typed nodes and connections and formalized using set theory. The syntax provides a notion of abstraction corresponding to the concept of a subsystem, and exploits this notion in a general mechanism for pattern matching over architectures.
Thomas R. Dean, James R. Cordy
openaire   +1 more source

Symbolic software for soliton theory

Acta Applicandae Mathematicae, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hereman, W., Zhuang, W.
openaire   +1 more source

Measurement Theory and Software Measures

1992
During the last years much attention has been directed toward the measurement process of the properties of software. Many software measures have been developed in order to determine the static complexity of single programs (intra-modular complexity) and entire software systems (inter-modular complexity) and many authors discussed the properties of ...
Horst Zuse, Peter Bollmann-Sdorra
openaire   +1 more source

A unified theory for software production

Software: Practice and Experience, 1982
AbstractThe central problem of software engineering, namely an overall strategy for the successful production of large‐scale software, has not yet been solved. Various techniques do exist for separate sections of the production process, but largely owing to the huge costs involved, it is virtually impossible to perform controlled experiments to test ...
openaire   +1 more source

A theory of software reliability and its application

IEEE Transactions on Software Engineering, 1975
The theory permits the estimation, in advance of a project, of the amount of testing in terms of execution time required to achieve a specified reliability goal [stated as a mean time to failure (MTTF)]. Execution time can then be related to calendar time, permitting a schedule to be developed.
openaire   +1 more source