Sciweavers

1781 search results - page 73 / 357
» An Emerging Need for a New Software Engineering Method
Sort
View
ISORC
2005
IEEE
15 years 6 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
105
Voted
ASWEC
2007
IEEE
15 years 4 months ago
Managing Conflicts When Using Combination Strategies to Test Software
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
Mats Grindal, Jeff Offutt, Jonas Mellin
68
Voted
EJIS
2008
79views more  EJIS 2008»
15 years 19 days ago
Software architectures: Blueprint, Literature, Language or Decision?
This study questions the traditional view of software architecture as a specification that needs only be understood by software architects and engineers. Based on an intensive stu...
Kari Smolander, Matti Rossi, Sandeep Purao
116
Voted
ICSM
2006
IEEE
15 years 6 months ago
Software Feature Understanding in an Industrial Setting
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...
Michael Jiang, Michael Groble, Sharon Simmons, Den...
106
Voted
SAC
2010
ACM
15 years 7 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev