2777 search results - page 263 / 556 » Understanding ontological engineering |
164
click to vote
ICSM
1994
IEEE
15 years 10 months ago
1994
IEEE
Software evolution is usually considered in terms of corrections, improvements and enhancements. While helpful, this approach does not take into account the fundamental dimensions...
151
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, ...
153
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
194
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
178
click to vote
SIGDOC
1995
ACM
15 years 10 months ago
1995
ACM
This paper describes ongoing research into the use of a domain-retargetable reverse engineering environment to aid the structural understanding of large information spaces. In par...