7103 search results - page 511 / 1421 » Program Generation and Components |
136
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
131
click to vote
CAISE
2001
Springer
15 years 9 months ago
2001
Springer
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...
133
click to vote
TOOLS
1998
IEEE
15 years 9 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
177
Voted
COMPASS
1994
15 years 9 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
145
click to vote
OOGRAPHICS
1992
15 years 9 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...