12981 search results - page 2319 / 2597 » Model Checking (Abstract) |
127
click to vote
ICALP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
162
click to vote
ICCBR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
122
click to vote
IFM
1999
Springer
15 years 8 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
125
click to vote
HIPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
135
click to vote
LOPSTR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...