Sciweavers

1318 search results - page 32 / 264
» The formal semantics of the timeER model
Sort
View
CCS
2003
ACM
15 years 7 months ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
114
Voted
AO
2005
147views more  AO 2005»
15 years 1 months ago
Domain modelling and NLP: Formal ontologies? Lexica? Or a bit of both?
There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...
Massimo Poesio
129
Voted
CSI
2007
122views more  CSI 2007»
15 years 1 months ago
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a ...
Andrey Naumenko, Alain Wegmann
110
Voted
EWSA
2004
Springer
15 years 7 months ago
Correct Development of Embedded Systems
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
Susanne Graf, Jozef Hooman
122
Voted
IWPSE
2010
IEEE
14 years 11 months ago
An exercise in iterative domain-specific language design
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
Marcel van Amstel, Mark van den Brand, Luc Engelen