Sciweavers

467 search results - page 18 / 94
» An integration framework for heterogeneous automatic softwar...
Sort
View
CL
2008
Springer
13 years 7 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
SIGSOFT
2006
ACM
14 years 1 months ago
Carving differential unit test cases from system test cases
Unit test cases are focused and efficient. System tests are effective at exercising complex usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests. T...
Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwye...
ASWEC
2008
IEEE
13 years 9 months ago
A Framework for Over the Air Provider-Initiated Software Deployment on Mobile Devices
Abstract-- While mobile users want to obtain software anywhere and anytime without the knowledge of software availability in advance, software providers want to deploy their softwa...
Chuong Cong Vo, Torab Torabi
EFDBS
2000
13 years 9 months ago
HERA: Automatically Generating Hypermedia Front-ends
The generation of hypermedia (or Web-based) presentations plays an important role in information management on the World Wide Web. In applications for Web modeling and querying, in...
Geert-Jan Houben
KBSE
2009
IEEE
14 years 2 months ago
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
Marco Piccioni, Manuel Oriol, Bertrand Meyer, Tese...