AAAAAA
Results:
1-15
|
Results: 15
Authors:
Bowen, JP
Citation: Jp. Bowen, Z: A formal specification notation, FACIT, 2001, pp. 3-19
Authors:
Polack, F
Citation: F. Polack, SAZ: SSADM version 4 and Z, FACIT, 2001, pp. 21-38
Authors:
Diab, H
Frappier, M
Citation: H. Diab et M. Frappier, B: A model-based method using generalised substitutions, FACIT, 2001, pp. 39-55
Authors:
Facon, P
Laleau, R
Nguyen, HP
Citation: P. Facon et al., From OMT diagrams to B specifications, FACIT, 2001, pp. 57-77
Authors:
Sinclair, J
Citation: J. Sinclair, Action systems: A method combining state-based and event-based specification, FACIT, 2001, pp. 81-96
Authors:
Dupuy, S
Front-Conte, A
Saint-Marcel, C
Citation: S. Dupuy et al., Using UML with a behaviour-driven method, FACIT, 2001, pp. 97-112
Authors:
Pierre, L
Citation: L. Pierre, VHDL: A hardware description language and its simulation semantics, FACIT, 2001, pp. 113-130
Authors:
Lallet, E
Raffy, JL
Citation: E. Lallet et Jl. Raffy, Estelle: A formal description technique, FACIT, 2001, pp. 131-145
Authors:
Poizat, P
Citation: P. Poizat, SDL: A language based on extended finite state machines with abstract datatypes, FACIT, 2001, pp. 147-164
Authors:
Turner, KJ
Sighireanu, M
Citation: Kj. Turner et M. Sighireanu, (E)-LOTOS: (Enhanced) Language of Temporal Ordering Specification, FACIT, 2001, pp. 165-190
Authors:
Frappier, M
St-Denis, R
Citation: M. Frappier et R. St-denis, Specifying a cleanroom black box using JSD, FACIT, 2001, pp. 191-205
Authors:
Baumeister, H
Bert, D
Citation: H. Baumeister et D. Bert, Algebraic specification in CASL, FACIT, 2001, pp. 209-224
Authors:
Chavin, P
Monin, JF
Citation: P. Chavin et Jf. Monin, An abstract and constructive specification in Coq, FACIT, 2001, pp. 225-240
Authors:
Choquet-Geniet, A
Richard, P
Citation: A. Choquet-geniet et P. Richard, Petri nets: A graphical tool for system modelling and analysis, FACIT, 2001, pp. 241-257
Authors:
Sibertin-Blanc, C
Citation: C. Sibertin-blanc, Using Petri nets and objects: A formal yet expressive approach, FACIT, 2001, pp. 259-278
Risultati:
1-15
|