2206 search results - page 38 / 442 » Software Engineering and Modeling Education: Problems and So... |
148
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
We summarize the Computational Engineering and Science program at the University of Utah. Program requirements as well as related research areas are outlined. To obtain the MS degr...
147
click to vote
KBSE
2007
IEEE
16 years 8 days ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...
168
click to vote
SEKE
2007
Springer
16 years 3 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
159
click to vote
TAICPART
2006
IEEE
16 years 3 hour ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
148
click to vote
AES
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the development and application of a piece of engineering software that provides a Problem Solving Environment (PSE) capable of launching, and interfacing wit...