Sciweavers

16725 search results - page 198 / 3345
» Engineering Software Correctness
Sort
View
85
Voted
APSEC
1999
IEEE
15 years 7 months ago
Strongly Formative Pilot Studies on Constraints in Early Life-Cycle Work
Andrew Brooks, Shingo Takada, Louise Scott
APSEC
1999
IEEE
15 years 7 months ago
A Source Code Generation Support System Using Design Pattern Documents Based on SGML
Mika Ohtsuki, Akifumi Makinouchi, Norihiko Yoshida
91
Voted
CODES
1999
IEEE
15 years 7 months ago
Embedded system synthesis under memory constraints
Jan Madsen, Peter Bjørn-Jørgensen