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 × Belgium
1 × China
1 × Germany
1 × Italy
1 × Spain
1 × United Kingdom
2 × France
3 × USA
Collaborated with:
R.Hennicker C.Choppy M.Wirsing G.Bernot ∅ A.Kurz T.Knapik F.Capy A.Knapp H.Baumeister F.Tort B.Biebow M.Gaudel C.Gresse G.D.Guiho
Talks about:
specif (7) behaviour (3) algebra (3) semant (3) observ (3) integr (3) except (3) handl (3) abstractor (2) asspegiqu (2)

Person: Michel Bidoit

DBLP DBLP: Bidoit:Michel

Facilitated 1 volumes:

TAPSOFT CAAP/FASE 1997Ed

Contributed to:

SEFM 20042004
FoSSaCS 20022002
FoSSaCS 20012001
UML 19991999
ALP 19941994
ESOP 19941994
ESOP 19941995
ESOP 19921992
RTA 19891989
ESOP 19861986
ICALP 19841984
ICSE 19841984
TAPSOFT, Vol.2: CSE 19851985
TAPSOFT CAAP/FASE 19931993

Wrote 14 papers:

SEFM-2004-BidoitHKB #black box #object-oriented #specification
Glass-Box and Black-Box Views on Object-Oriented Specifications (MB, RH, AK, HB), pp. 208–217.
FoSSaCS-2002-BidoitH #concept #integration #on the #reachability
On the Integration of Observability and Reachability Concepts (MB, RH), pp. 21–36.
FoSSaCS-2001-BidoitHK #on the #reachability
On the Duality between Observability and Reachability (MB, RH, AK), pp. 72–87.
UML-1999-TortBHW #constraints #interface #ocl
Correct Realization of Interface Constraints with OCL (FT, MB, RH, MW), pp. 399–415.
ALP-1994-BidoitH #behaviour #first-order #logic #proving #standard #theorem
Proving Behavioural Theorems with Standard First-Order Logic (MB, RH), pp. 41–58.
ESOP-1994-BidoitHW #behaviour #semantics
Characterizing Behavioural Semantics and Abstractor Semantics (MB, RH, MW), pp. 105–119.
ESOP-J-1994-BidoitHW95 #behaviour #specification
Behavioural and Abstractor Specifications (MB, RH, MW), pp. 149–186.
ESOP-1992-BernotBK #towards
Towards an Adequate Notion of Observation (GB, MB, TK), pp. 39–55.
RTA-1989-BidoitCC #named #specification
ASSPEGIQUE: An Integrated Specification Environment (MB, FC, CC), p. 547.
ESOP-1986-BernotBC #algebra #exception #semantics
Algebraic Semantics of Exception Handling (GB, MB, CC), pp. 173–186.
ICALP-1984-Bidoit #algebra #equation #exception #fault #specification
Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations (MB), pp. 95–108.
ICSE-1984-BidoitBGGG #exception #specification
Exception Handling: Formal Specification and Systematic Program Construction (MB, BB, MCG, CG, GDG), pp. 18–29.
CSE-1985-BidoitC #algebra #ide #named #specification
ASSPEGIQUE: An Integrated Environment for Algebraic Specifications (MB, CC), pp. 246–260.
TAPSOFT-1993-BidoitH #composition #framework #implementation #specification
A General Framework for Modular Implementations of Modular System Specifications (MB, RH), pp. 199–214.
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.