Sciweavers

1396 search results - page 139 / 280
» DATES: Design Analysis Tool for Enterprise Systems
Sort
View
PRDC
2005
IEEE
16 years 9 hour ago
On Automating Failure Mode Analysis and Enhancing its Integrity
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
ECBS
2009
IEEE
105views Hardware» more  ECBS 2009»
16 years 1 months ago
A Framework for Developing Feature-Rich Software Systems
In response to changing requirements and other environmental influences, software systems are increasingly developed incrementally. Successful implementation of new features in e...
Thein Than Tun, Rod Chapman, Charles B. Haley, Rob...
ICAIL
2007
ACM
15 years 8 months ago
Terminological and ontological analysis of European directives: multilinguism in law
This paper describes the philosophy behind our tool called “Legal Taxonomy Syllabus”, the analytical instruments it provides and some case studies. The Legal Taxonomy Syllabus...
Gianmaria Ajani, Leonardo Lesmo, Guido Boella, Ale...
ECOOPW
1999
Springer
15 years 10 months ago
EPOS: An Object-Oriented Operating System
This position paper reports the current development stage of project Epos, which aims to deliver, whenever possible automatically, a customized runtime support system for each (hi...
Antônio Augusto Fröhlich, Wolfgang Schr...
DANCE
2002
IEEE
15 years 11 months ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...