Sciweavers

2599 search results - page 245 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
ICST
2008
IEEE
16 years 8 days 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
SIGSOFT
2003
ACM
16 years 6 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
RR
2007
Springer
15 years 12 months ago
A Framework for Combining Rules and Geo-ontologies
Geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. They no...
Philip D. Smart, Alia I. Abdelmoty, Baher A. El-Ge...
OOPSLA
2004
Springer
15 years 11 months ago
Example centric programming
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
Jonathan Edwards
IPPS
2003
IEEE
15 years 11 months ago
Targeting Tiled Architectures in Design Exploration
Tiled architectures can provide a model for early estimation of global interconnect costs. A design exploration tool for reconfigurable architectures is currently under developmen...
Lilian Bossuet, Wayne Burleson, Guy Gogniat, Vikas...