BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Portugal
1 × The Netherlands
Collaborated with:
G.Saake K.Barkaoui
Talks about:
system (3) inform (3) distribut (2) compon (2) valid (2) petri (2) net (2) architectur (1) increment (1) connector (1)

Person: Nasreddine Aoumeur

DBLP DBLP: Aoumeur:Nasreddine

Contributed to:

CSMR 20072007
ICEIS EIS 20072007
CAiSE 20022002
CAiSE 19991999

Wrote 4 papers:

CSMR-2007-AoumeurBS #adaptation #component #distributed #incremental #information management #runtime #specification #validation
Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems (NA, KB, GS), pp. 123–136.
ICEIS-EIS-2007-AoumeurSB #architecture #component #information management #interactive #petri net #weaving
Dynamic Interaction of Information Systems — Weaving Architectural Connectors on Component Petri Nets (NA, GS, KB), pp. 152–158.
CAiSE-2002-AoumeurS #behaviour #diagrams #logic #prototype #uml #using
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic (NA, GS), pp. 296–310.
CAiSE-1999-AoumeurS #distributed #information management #petri net #specification #towards #validation
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems (NA, GS), pp. 381–395.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.