Sciweavers

809 search results - page 82 / 162
» Requirements by Contracts allow Automated System Testing
Sort
View
SEMWEB
2009
Springer
15 years 4 months ago
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...
Daniel Elenius, David Martin, Reginald Ford, Grit ...
GIS
2002
ACM
14 years 11 months ago
A WFS-based mediation system for GIS interoperability
The proliferation of spatial data on the Internet is beginning to allow a much wider access to data currently available in various Geographic Information Systems (GIS). In order t...
Omar Boucelma, Mehdi Essid, Zoé Lacroix
CL
2008
Springer
14 years 12 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
CORR
2010
Springer
154views Education» more  CORR 2010»
14 years 12 months ago
A Framework for Agile Development of Component-Based Applications
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
Guillaume Waignier, Estéban Duguepér...
HOTOS
1993
IEEE
15 years 4 months ago
Object Groups May Be Better Than Pages
I argue against trying to solve the problem of clustering objects into disk pages. Instead, I propose that objects be fetched in groups that may be specific to an application or ...
Mark Day