Sciweavers

4335 search results - page 496 / 867
» Ontology Engineering Relationally
Sort
View
APSEC
2005
IEEE
16 years 13 days ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
APSEC
2005
IEEE
16 years 13 days ago
Please STeP_IN: A Socio-Technical Platform for in situ Networking
This paper describes a system called STeP_IN (standing for Socio-Technical Platform for in situ Networking) that assists software developer to find and learn Java API libraries. I...
Yoshiyuki Nishinaka, Mitsuhiro Asada, Yasuhiro Yam...
ASWEC
2005
IEEE
16 years 13 days ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
COMPSAC
2005
IEEE
16 years 13 days ago
Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Hu...
CSMR
2005
IEEE
16 years 13 days ago
A Process Model and Typology for Software Product Updaters
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...
Slinger Jansen, Gerco Ballintijn, Sjaak Brinkkempe...