Sciweavers

15727 search results - page 491 / 3146
» Software Engineering - Introduction
Sort
View
136
Voted
KBSE
2005
IEEE
16 years 9 days ago
Application of design for verification with concurrency controllers to air traffic control software
Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Be...
106
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
Using symbolic evaluation to understand behavior in configurable software systems
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffr...
LSO
2001
Springer
15 years 11 months ago
Supporting Knowledge Management in University Software R&D Groups
Christiane Gresse von Wangenheim, Daniel Lichtnow,...
CODES
2000
IEEE
15 years 11 months ago
Software performance estimation strategies in a system-level design tool
À ¹Ð Ú Ð Óר Ò Ô Ö ÓÖÑ Ò ×Ø Ñ Ø ÓÒ¸ ÓÙÔÐ Û Ø ×Ø Ö Û Ö »×Ó ØÛ Ö Ó¹× ÑÙÐ Ø ÓÒ Ö Ñ ÛÓÖ ¸ × Ý Ò Ð Ö ØÓ ר Ñ ×Ýר Ñ...
Jwahar R. Bammi, Wido Kruijtzer, Luciano Lavagno, ...
ICSM
2000
IEEE
15 years 11 months ago
The Application of Correctness Preserving Transformations to Software Maintenance
Abstract- The size and complexity of hardware and soft
J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy