7139 search results - page 1232 / 1428 » Language Engineering in Practice |
151
Voted
SAFECOMP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
130
click to vote
ECBS
1996
IEEE
15 years 9 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
156
click to vote
VLDB
1992
ACM
15 years 9 months ago
1992
ACM
Process-centered software engineering environments, such as Arcadia, impose a variety of requirements on database technology that to date have not been well supported by available...
165
Voted
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
171
click to vote
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...