1091 search results - page 139 / 219 » The State of Cognitive Systems Engineering |
KBSE
1999
IEEE
14 years 1 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
ISORC
2009
IEEE
14 years 3 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
QSIC
2007
IEEE
14 years 3 months ago
2007
IEEE
Recent research showed that the majority of compatibility-breaking changes in a component-based, object-oriented software system are refactorings [5]. The software updating proces...
AC
1999
Springer
14 years 1 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
FOSSACS
2012
Springer
12 years 4 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...