Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CORR
2011
Springer
188views Education» more  CORR 2011»
11 years 3 months ago
Primitive words and roots of words
In the algebraic theory of codes and formal languages, the set Q of all primitive words over some alphabet Σ has received special interest. With this survey article we give an ove...
Gerhard Lischke
DSS
2002
231views more  DSS 2002»
11 years 8 months ago
Computational aspects of the FLBC framework
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
Aspassia Daskalopulu, Marek J. Sergot
ENTCS
2007
98views more  ENTCS 2007»
11 years 8 months ago
Frameworks Based on Templates for Rigorous Model-driven Development
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
Nuno Amálio, Fiona Polack, Susan Stepney
JALC
2008
72views more  JALC 2008»
11 years 8 months ago
Maximal Error-Detecting Capabilities of Formal Languages
A combinatorial channel is a set of pairs of words describing all the possible input-output channel situations. We introduce the concept "maximal error-detecting capability&q...
Stavros Konstantinidis, Pedro V. Silva
SDL
2001
94views Hardware» more  SDL 2001»
11 years 9 months ago
An MSC Based Representation of DiCons
Abstract. We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications.
Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw
IFM
2000
Springer
11 years 11 months ago
A Process Compensation Language
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
Michael J. Butler, Carla Ferreira
DEON
2006
Springer
11 years 12 months ago
Speech Acts with Institutional Effects in Agent Societies
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
Robert Demolombe, Vincent Louis
FASE
2004
Springer
11 years 12 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
UML
2001
Springer
12 years 19 days ago
Representing Embedded System Sequence Diagrams as a Formal Language
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require...
Elizabeth Latronico, Philip Koopman
IFIP
2004
Springer
12 years 1 months ago
Safety assessment with AltaRica
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
Pierre Bieber, Christian Bougnol, Charles Castel, ...
books