2253 search results - page 35 / 451 » An Approach to Specifying Software Frameworks |
ISORC
2009
IEEE
14 years 3 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
SOFTWARE
2002
13 years 8 months ago
2002
We present a new approach to test selection in sequential diagnosis (or classification) in the independence Bayesian framework that resembles the hypothetico-deductive approach to ...
CSUR
2000
13 years 8 months ago
2000
ks are quite di cult to understand when one rst uses them: the design is very abstract, to factor out commonality the design is incomplete, requiring additional subclasses to creat...
SEFM
2006
IEEE
14 years 2 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...