Sciweavers

15777 search results - page 125 / 3156
» Engineering in Software
Sort
View
90
Voted
SCAM
2009
IEEE
15 years 10 months ago
Backporting Java 5 Code
Tobias Gutzmann, Tamara Steijger
SEFM
2009
IEEE
15 years 10 months ago
Property-Driven Scenario Integration
Jewgenij Botaschanjan, Alexander Harhurin
EMSOFT
2009
Springer
15 years 10 months ago
Formal and executable contracts for transaction-level modeling in SystemC
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...
EMSOFT
2009
Springer
15 years 10 months ago
Modeling synchronous systems in BIP
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis