Sciweavers

Share
196 search results - page 1 / 40
» A Model-Based Standard for SDL
Sort
View
SDL
2007
139views Hardware» more  SDL 2007»
8 years 7 months ago
A Model-Based Standard for SDL
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
Andreas Prinz, Markus Scheidgen, Merete Skjelten T...
ROOM
2000
8 years 7 months ago
SDL-2000: A Language with a Formal Semantics
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...
Joachim Fischer, Eckhardt Holz, Martin von Lö...
SDL
2003
158views Hardware» more  SDL 2003»
8 years 7 months ago
Automatic Formal Model Generation and Analysis of SDL
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
COMPSAC
2002
IEEE
8 years 11 months ago
From MSC and UML to SDL
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
Stephan Bourduas, Ferhat Khendek, Daniel Vincent
DEON
2008
Springer
8 years 8 months ago
Introducing Grades in Deontic Logics
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deont...
Pilar Dellunde, Lluis Godo
books