Sciweavers

15860 search results - page 147 / 3172
» Agent-Based Software Engineering
Sort
View
121
Voted
EWSPT
2003
Springer
15 years 7 months ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner
130
Voted
FASE
2003
Springer
15 years 7 months ago
A Logical Basis for the Specification of Reconfigurable Component-Based Systems
Nazareno Aguirre, T. S. E. Maibaum
FASE
2003
Springer
15 years 7 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski