Sciweavers

4469 search results - page 45 / 894
» A Language for Role Specifications
Sort
View
141
Voted
DATE
2008
IEEE
133views Hardware» more  DATE 2008»
16 years 1 months ago
Model Checking of Analog Systems using an Analog Specification Language
Sebastian Steinhorst, Lars Hedrich
WCRE
2008
IEEE
16 years 1 months ago
Generating Version Convertors for Domain-Specific Languages
Gerardo de Geest, Sander Vermolen, Arie van Deurse...
MEMOCODE
2007
IEEE
16 years 1 months ago
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfe...