1856 search results - page 82 / 372 » Formal Dialectic Specification |
139
Voted
AO
2006
15 years 4 months ago
2006
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
113
click to vote
APSEC
2000
IEEE
15 years 7 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
147
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
156
click to vote
IJIS
2002
15 years 3 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
154
Voted
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...