Sciweavers

2777 search results - page 398 / 556
» Understanding ontological engineering
Sort
View
ICST
2008
IEEE
15 years 11 months ago
Model-Based Testing of Automotive Systems
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
Eckard Bringmann, Andreas Krämer
137
Voted
KBSE
2007
IEEE
15 years 11 months ago
Exploring the neighborhood with dora to expedite software maintenance
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
Emily Hill, Lori L. Pollock, K. Vijay-Shanker
EMSOFT
2006
Springer
15 years 8 months ago
Analysis of the zeroconf protocol using UPPAAL
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao...
149
Voted
SIGSOFT
1995
ACM
15 years 8 months ago
Precise Interprocedural Chopping
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...
Thomas W. Reps, Genevieve Rosay
DSS
2006
174views more  DSS 2006»
15 years 5 months ago
CMedPort: An integrated approach to facilitating Chinese medical information seeking
As the number of non-English resources available on the Web is increasing rapidly, developing information retrieval techniques for non-English languages is becoming an urgent and ...
Yilu Zhou, Jialun Qin, Hsinchun Chen