2206 search results - page 88 / 442 » Software Engineering and Modeling Education: Problems and So... |
142
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
147
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
As a result of the rigor vs. relevance debate, researchers who focus on design research on organizational problems are beginning to focus on their research methodology’s rigor. ...
213
click to vote
ISARCS
2010
15 years 8 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
184
click to vote
SEE
2010
Springer
15 years 4 months ago
2010
Springer
Making decisions with an, often significant, element of risk seems to be an integral part of many of the projects of the diverse profession of engineering. Whether it be decisions...
165
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...