Sciweavers

1099 search results - page 92 / 220
» A tool for assisting the understanding and formal developmen...
Sort
View
AVI
2010
13 years 10 months ago
Deep Diffs: visually exploring the history of a document
Software tools are used to compare multiple versions of a textual document to help a reader understand the evolution of that document over time. These tools generally support the ...
Ross Shannon, Aaron J. Quigley, Paddy Nixon
PROFES
2004
Springer
14 years 2 months ago
Intelligent Support for Software Release Planning
One of the most prominent issues involved in incremental software development is to decide upon the most appropriate software release plans taking into account all explicit and imp...
Amandeep, Günther Ruhe, Mark Stanford
ICSE
1989
IEEE-ACM
14 years 1 months ago
The Inscape Environment
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
Dewayne E. Perry
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 2 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
QUATIC
2007
IEEE
14 years 3 months ago
Towards Paradigm-Independent Software Assessment
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
Sergio Bryton, Fernando Brito e Abreu