-
Method for software liability specifications : Modelisation, Traceability and...
Despite the effort made to define methods for the design of high quality software, experience shows that failures of IT systems due to software errors remain very... -
Spécification formelle de la négociation avec les SMA
Les communications dans les systèmes multi-agents, comme les être humains, sont à base des interactions et de l'organisation des agents. En effet, l'interaction... -
Developing Component-Based Applications with a Data-Centric Approach and with...
Developing Peer-to-Peer (P2P) applications became increasingly important in software development. Nowadays, a large number of organizations from many different sectors... -
Spécification de services : une approche avec B
Article dans revue scientifique avec comité de lecture. -
Interprétation de spécifications temporelles à l'aide d'un outil de preuve
Colloque avec actes et comité de lecture. nationale. -
Construction et réutilisation de spécifications LOTOS
Colloque avec actes et comité de lecture. nationale. -
Specifying historical Consequence and Postponed Effect Properties in Real-Tim...
Colloque avec actes et comité de lecture. -
Utilisation de patterns dans la construction de specifications en UML et B
Colloque avec actes et comité de lecture. nationale. -
Spécification et spécialisation de patterns en UML et B
Colloque avec actes et comité de lecture. nationale. -
Manipulating Algebraic Specifications with Term-based and Graph-based Represe...
Special Issue on Annotated Terms (ATerms). Article dans revue scientifique avec comité de lecture. nationale.
