Sciweavers

15787 search results - page 135 / 3158
» Is Software Engineering Training Enough for Software Enginee...
Sort
View
139
Voted
FASE
2003
Springer
15 years 8 months ago
A Logical Basis for the Specification of Reconfigurable Component-Based Systems
Nazareno Aguirre, T. S. E. Maibaum
147
Voted
FASE
2003
Springer
15 years 8 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski
WOSP
2010
ACM
15 years 8 months ago
A power consumption analysis of decision support systems
Meikel Poess, Raghunath Othayoth Nambiar