Sciweavers

1805 search results - page 169 / 361
» File System Interfaces for Embedded Software Development
Sort
View
122
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
Continuous coordination within the context of cooperative and human aspects of software engineering
We have developed software tools that aim to support the cooperative software engineering tasks and promote an awareness of social dependencies that is essential to successful coo...
André van der Hoek, Anita Sarma, Ban Al-Ani...
SCS
2003
15 years 3 months ago
A Contract-based Approach to Designing Safe Systems
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
Iain Bate, Richard Hawkin, John A. McDermid
111
Voted
DGO
2003
133views Education» more  DGO 2003»
15 years 3 months ago
Accessing Diverse Geo-Referenced Data Sources with the SAND Spatial DBMS
The Internet has become the most frequently accessed medium for obtaining various types of data. In particular, government agencies, academic institutions, and private enterprises...
Jagan Sankaranarayanan, Egemen Tanin, Hanan Samet,...
BMCBI
2007
156views more  BMCBI 2007»
15 years 2 months ago
Bio: : NEXUS: a Perl API for the NEXUS format for comparative biological data
Background: Evolutionary analysis provides a formal framework for comparative analysis of genomic and other data. In evolutionary analysis, observed data are treated as the termin...
Thomas Hladish, Vivek Gopalan, Chengzhi Liang, Wei...
APSEC
1999
IEEE
15 years 6 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch