200 search results - page 5 / 40 » Modular Reasoning in Object-Oriented Programming |
ENTCS
2008
13 years 8 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
BIRTHDAY
2006
Springer
14 years 9 days ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
BIRTHDAY
2004
Springer
14 years 9 days ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
FLOPS
2006
Springer
14 years 6 days ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....