2127 search results - page 145 / 426 » Software Automation |
142
click to vote
VL
2006
IEEE
16 years 12 days ago
2006
IEEE
There is little understanding of how people describe software problems, but a variety of tools solicit, manage, and analyze these descriptions in order to streamline software deve...
185
click to vote
SIGSOFT
2008
ACM
15 years 4 months ago
2008
ACM
Software development processes can be represented as objects because they and the elements that compose them have attributes and operations, can be linked by relationships and hav...
197
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
151
click to vote
PG
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents an implementation of Forward Looking Infrared (FLIR) and Laser Radar (LADAR) data simulation for use in developing a multi-sensor datafusion automated target r...
144
click to vote
CAISE
1997
Springer
15 years 10 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...