2969 search results - page 228 / 594 » The Case for User-Centered CASE Tools |
183
click to vote
RSP
2005
IEEE
16 years 6 days ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
228
click to vote
RSP
2005
IEEE
16 years 6 days ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
183
click to vote
WCRE
2005
IEEE
16 years 6 days ago
2005
IEEE
The use of design patterns in a software system can provide strong indications about the rationale behind the system’s design. As a result, automating the detection of design pa...
168
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
158
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...