4799 search results - page 242 / 960 » Model Based Requirements Engineering for Embedded Software |
221
click to vote
HASE
2002
IEEE
15 years 11 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
212
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
180
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
198
click to vote
SPLC
2010
15 years 5 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
167
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...