VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
TMRA
2005
Springer
14 years 1 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
TMRA
2005
Springer
14 years 1 months ago
2005
Springer
This report summarizes the eleven contributions by eight presenters from the two open space sessions that took place during the TMRA’05 workshop on 6th and 7th of October 2005. T...
TMRA
2005
Springer
14 years 1 months ago
2005
Springer
The development of the IRIS semantic desktop platform has provided illumination of some important issues associated with the collection and manipulation of knowledge assets that a...
TMRA
2005
Springer
14 years 1 months ago
2005
Springer
TMRA
2005
Springer
14 years 1 months ago
2005
Springer
TMRA
2005
Springer
14 years 1 months ago
2005
Springer
TMRA
2005
Springer
14 years 1 months ago
2005
Springer
We outline the main elements of what we call polyscopic structuring of information and argue that information needs to be structured accordingly. The principles of polyscopy may bo...