Sciweavers

324 search results - page 45 / 65
» Design Decisions in Model-driven Software Development
Sort
View
VSTTE
2005
Springer
14 years 3 months ago
Model Checking: Back and Forth between Hardware and Software
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, He...
ECSA
2007
Springer
14 years 4 months ago
Effective Tool Support for Architectural Knowledge Sharing
Abstract. Knowledge management plays an important role in the software architecting process. Recently, this role has become more apparent by a paradigm shift that views a software ...
Rik Farenhorst, Patricia Lago, Hans van Vliet
SEE
2010
Springer
13 years 8 months ago
The Social Nature of Engineering and its Implications for Risk Taking
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...
Allison Ross, Nafsika Athanassoulis
ELPUB
2007
ACM
14 years 1 months ago
Challenges in the Selection, Design and Implementation of an Online Submission and Peer Review System for STM Journals
Two international scientific publishers collaborated to develop an Online Submission and Peer Review System (OSPREY) for their journals. Our goals were to meet market demand, incr...
Judy Best, Richard Akerman
ITCC
2005
IEEE
14 years 3 months ago
VisDP: A Web Service for Visualizing Design Patterns on Demand
Design patterns document good design solutions to a recurring problem in a particular context. They are typically modeled using UML. In practice, however, pattern-related informat...
Jing Dong, Sheng Yang, Kang Zhang