247 search results - page 3 / 50 » Development graphs - Proof management for structured specifi... |
AGILEDC
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper describes the start of the implementation of Scrum within BMC Software (Identity Management business unit). It describes the project, the project structure and the firs...
ICCS
2001
Springer
15 years 1 months ago
2001
Springer
Automatically generating Conceptual Graphs (CGs) [1] from natural language sentences is a difficult task in using CG as a semantic (knowledge) representation language for natural l...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
This study was conducted to better understand how New Product Development (NPD) team members apply their experiences to meet the task needs of their project. Although “experienc...
ENTCS
2006
14 years 9 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
HIPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...