Sciweavers

1592 search results - page 171 / 319
» Software Process - Standards, Assessments and Improvement
Sort
View
IFM
2009
Springer
16 years 29 days ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
COORDINATION
2005
Springer
15 years 12 months ago
Preserving Architectural Properties in Multithreaded Code Generation
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
Marco Bernardo, Edoardo Bontà
174
Voted
SSDBM
2002
IEEE
116views Database» more  SSDBM 2002»
15 years 11 months ago
A Conceptual Framework for Composing and Managing Scientific Data Lineage
Scientific research relies as much on the dissemination and exchange of data sets as on the publication of conclusions. Accurately tracking the lineage (origin and subsequent proc...
Rajendra Bose
SIGSOFT
2004
ACM
16 years 7 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde
HICSS
2006
IEEE
89views Biometrics» more  HICSS 2006»
16 years 14 days ago
Open Source Technical Support: A Look at Peer Help-Giving
We explore online technical support of open source software by a study of postings to discussion boards. Our results indicate that there are several types of detail that are requi...
Vandana Singh, Michael B. Twidale, Dinesh Rathi