178 search results - page 2 / 36 » Foundations of a Multi-Paradigm Modelling Tool |
IEEEARES
2009
IEEE
13 years 11 months ago
2009
IEEE
Within the field of software security we have yet to find efficient ways on how to learn from past mistakes and integrate security as a natural part of software development. Th...
ISTA
2008
13 years 6 months ago
2008
As XML data storage and interchange become ubiquitous, analysts and data engineers increasingly need tools to model their data and map it to XML schemas and to reverse engineer XML...
FM
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
AAAI
1998
13 years 6 months ago
1998
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Kno...