Sciweavers

1609 search results - page 199 / 322
» Using Ontologies for Software Development Knowledge Reuse
Sort
View
124
Voted
HASE
1998
IEEE
15 years 6 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
ICSEA
2009
IEEE
15 years 9 months ago
A Software Requirements Change Source Taxonomy
— Requirements changes during software development pose a risk to cost, schedule and quality while at the same time providing an opportunity to add value. Provision of a generic ...
Sharon McGee, Des Greer
130
Voted
ESWS
2008
Springer
15 years 4 months ago
Mymory: Enhancing a Semantic Wiki with Context Annotations
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. The Mymory project1 uses a web-based wor...
Malte Kiesel, Sven Schwarz, Ludger van Elst, Georg...
150
Voted
ICFP
2012
ACM
13 years 5 months ago
Transporting functions across ornaments
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
Pierre-Évariste Dagand, Conor McBride
CSMR
2000
IEEE
15 years 7 months ago
A Slicing-based Approach to Extracting Reusable Software Architectures
An alternative approach to developing reusable components from scratch is to recover them from existing systems. Although numerous techniques have been proposed to recover reusabl...
Jianjun Zhao