Sciweavers

8627 search results - page 346 / 1726
» Software Engineering Using RATionale
Sort
View
ECLIPSE
2007
ACM
15 years 10 months ago
An Eclipse-based tool framework for software model management
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
Rick Salay, Marsha Chechik, Steve M. Easterbrook, ...
FASE
2010
Springer
16 years 1 months ago
Dynamic Resource Scheduling in Disruption-Prone Software Development Environments
Good resource scheduling plays a pivotal role in successful software development projects. However, effective resource scheduling is complicated by such disruptions as requirements...
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingsh...
KBSE
2009
IEEE
16 years 1 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
AICT
2006
IEEE
128views Communications» more  AICT 2006»
16 years 23 days ago
Development of SOA-Based Software Systems - an Evolutionary Programming Approach
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
Christian Emig, Jochen Weisser, Sebastian Abeck
QSIC
2006
IEEE
16 years 21 days ago
Software Project Level Estimation Model Framework based on Bayesian Belief Networks
Software estimation models should support managerial decision making in software projects. We experience that most of current models do not achieve this goal to the extend manager...
Hao Wang, Fei Peng, Chao Zhang, Andrej Pietschker