1112 search results - page 122 / 223 » software 2002 |
134
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
117
click to vote
EUROMICRO
2002
IEEE
15 years 8 months ago
2002
IEEE
1 Product line engineering is usually a very beneficial, but sometimes also a very risky endeavor, as there is no guarantee for economic success. In this paper, we will describe an...
123
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
131
click to vote
SCAM
2002
IEEE
15 years 8 months ago
2002
IEEE
The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses thro...
130
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...