1573 search results - page 57 / 315 » Signs and Formal Concepts |
CAISE
2000
Springer
14 years 2 months ago
2000
Springer
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
ZUM
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
AISC
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...
ROOM
2000
13 years 11 months ago
2000
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
IJAOSE
2007
13 years 10 months ago
2007
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...