5433 search results - page 334 / 1087 » Tool Support for Traceability-Adaptation |
170
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
177
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...
156
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
workflow technology is becoming the key technologyfor businessprocess modeling, reengineering and automating. During the workflowspecification, enactment and administmtion, there ...
207
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
Mobile learning (m-learning) integrates the current mobile computing technology with educational aspects to enhance the effectiveness of the traditional learning process. This pape...
151
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
Technology Supported Learning Systems have proved to be useful in many learning situations. However, the development of such systems is still a hard task. Ontologies and Learning ...