4919 search results - page 743 / 984 » A Process-Ontological Model for Software Engineering |
137
click to vote
ISSTA
2006
ACM
16 years 14 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
156
click to vote
SEFM
2005
IEEE
16 years 2 days ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
169
click to vote
MIDDLEWARE
2005
Springer
16 years 8 hour ago
2005
Springer
We present WildCAT, an extensible Java framework to ease the creation of context-aware applications. WildCAT provides a simple yet powerful dynamic model to represent an applicati...
166
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
166
click to vote
APSEC
2003
IEEE
15 years 11 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...