1101 search results - page 164 / 221 » Barbed Model-Driven Software Development: A Case Study |
ADAEUROPE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
RE
2001
Springer
15 years 2 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
APSEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Enterprise resource planning (ERP) maintenance and upgrade activities are receiving much attention in ERP-using organizations. Annual maintenance costs approximate 25% of initial ...