Sciweavers

1746 search results - page 14 / 350
» Residual for Component Specifications
Sort
View
ICSEA
2006
IEEE
15 years 9 months ago
Specification of Software Component Requirements Using the Trace Function Method
Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas...
99
Voted
COORDINATION
2005
Springer
15 years 9 months ago
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications
Farhad Arbab, Christel Baier, Frank S. de Boer, Ja...
104
Voted
FMCO
2005
Springer
15 years 9 months ago
Modular Specification of Encapsulated Object-Oriented Components
Arnd Poetzsch-Heffter, Jan Schäfer