Sciweavers

4917 search results - page 75 / 984
» Software Engineering is Not Computer Science
Sort
View
ENTCS
2010
66views more  ENTCS 2010»
13 years 7 months ago
Reversible Computer Hardware
Alexis De Vos
CSIE
2009
IEEE
14 years 4 months ago
A Metamodel for Tracing Non-functional Requirements
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...
Mohamad Kassab, Olga Ormandjieva, Maya Daneva
FM
2006
Springer
172views Formal Methods» more  FM 2006»
14 years 1 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