2777 search results - page 270 / 556 » Understanding ontological engineering |
196
click to vote
SOCO
2007
Springer
16 years 22 days ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
157
click to vote
IWPC
2006
IEEE
16 years 19 days ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
205
click to vote
IUI
2006
ACM
16 years 17 days ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
173
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
208
click to vote
EWSPT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...