Sciweavers

596 search results - page 43 / 120
» Case Studies as Assessment Tools in Software Engineering Cla...
Sort
View
ISESE
2006
IEEE
14 years 3 months ago
Empirical estimates of software availability of deployed systems
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
Audris Mockus
SIGADA
2005
Springer
14 years 2 months ago
Modeling SPARK systems with UML
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
Xavier Sautejeau
HPCN
2000
Springer
14 years 20 days ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
IWC
2002
79views more  IWC 2002»
13 years 8 months ago
Trust in information sources: seeking information from people, documents, and virtual agents
The notion of trust has been virtually absent from most work on how people assess and choose their information sources. Based on two empirical cases this study shows that software ...
Morten Hertzum, Hans H. K. Andersen, Verner Anders...
KBSE
2008
IEEE
14 years 3 months ago
Test-Suite Augmentation for Evolving Software
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
Raúl A. Santelices, Pavan Kumar Chittimalli...