1435 search results - page 132 / 287 » CASE Support and Model-Based Development |
124
click to vote
WCRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Modern software frameworks provide a set of common and prefabricated software artifacts that support engineers in developing large-scale software systems. Framework-related inform...
139
click to vote
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
102
Voted
HCI
2007
15 years 3 months ago
2007
The author reviewed and participated in several exemplar industry projects from the Indian IT industry to study the integration of human-computer interaction (HCI) design into soft...
136
Voted
MKWI
2008
15 years 3 months ago
2008
: Documenting and maintaining an enterprise-wide service-oriented architecture (SOA) causes a substantial management effort which should be addressed by intelligent, scalable solut...
165
click to vote
FMCO
2009
Springer
15 years 1 days ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...