Sciweavers

5961 search results - page 27 / 1193
» Design Science and Software Engineering
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 10 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
ACSC
2005
IEEE
15 years 12 months ago
Modelling and Measuring Collaborative Software Engineering
Collaborative Software Engineering (CSE) supports the fine-grained real-time development of software by teams of developers located anywhere on the Internet. In this paper we des...
Carl Cook, Neville Churcher
114
Voted
FSTTCS
2009
Springer
16 years 27 days ago
Deterministic Automata and Extensions of Weak MSO
Mikolaj Bojanczyk, Szymon Torunczyk
126
Voted
FSTTCS
2009
Springer
16 years 27 days ago
Deductive Verification of Continuous Dynamical Systems
Ankur Taly, Ashish Tiwari