161 search results - page 6 / 33 » Towards a formal foundation for domain specific modeling lan... |
JOT
2008
13 years 7 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
SEFM
2005
IEEE
14 years 20 days 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...
CIIA
2009
13 years 8 months ago
2009
Semantic Web Services (SWSs) aim to improve the possibilities for automated discovery, composition and invocation of Web Services by providing ontology-based service descriptions e...
ICALT
2006
IEEE
14 years 1 months ago
2006
IEEE
Competence-based approaches in the field of formal or non-formal education and training are becoming more common and appear to offer the opportunity to develop programmes that mee...
ISEMANTICS
2010
13 years 5 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...