122
click to vote
BIRTHDAY
2004
Springer
15 years 7 months 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...
97
Voted
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
155
Voted
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
The discussions about learning management systems and reusable learning objects primarily focus on technical standardization issues. Standards such as SCORM or LTSC-LOM will yield...
153
Voted
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substi...