1782 search results - page 157 / 357 » Tool Support for Proof Engineering |
182
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
The automotive electronics industry is experiencing an era of unprecedented growth. Driven by emissions and safety legislation, fuel economy constraints, cost constraints, and cus...
148
click to vote
SEKE
1999
Springer
15 years 10 months ago
1999
Springer
Today’s software developments are faced with steadily increasing expectations: software has to be developed faster, better, and cheaper. At the same time, application complexity ...
174
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
172
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
The Open Interface Development Environment (OIDE) was developed as part of the OpenInterface (OI) platform, an open source framework for the rapid development of multimodal intera...
168
click to vote
ISESE
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we report results of an informal field study of a software development team conducted during an eight week internship at the NASA/Ames Research Center. The team deve...