Sciweavers

1592 search results - page 171 / 319
» Software Process - Standards, Assessments and Improvement
Sort
View
IFM
2009
Springer
16 years 1 months 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
16 years 18 days 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à
200
Voted
SSDBM
2002
IEEE
116views Database» more  SSDBM 2002»
15 years 12 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
148
Voted
HICSS
2006
IEEE
89views Biometrics» more  HICSS 2006»
16 years 1 months 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