247 search results - page 5 / 50 » Agent-Oriented Modeling by Interleaving Formal and Informal ... |
ZUM
2000
Springer
14 years 4 days 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...
ASM
2010
ASM
13 years 12 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
AIME
2007
Springer
14 years 18 days ago
2007
Springer
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...
FAC
2008
13 years 8 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
SEKE
1995
Springer
14 years 4 days ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...