Family relationships between requirements and design specification methods = Relations de famille entre les méthodes de spécification de conception et de besoinsHULL, M. E. C; O'DONOGHUE, P. G.Computer journal (Print). 1993, Vol 36, Num 2, pp 153-167, issn 0010-4620Article

Contextual rewriting as a sound and complete proof method for conditional LOG-specificationsNAVARRO, M; OREJAS, F; REMY, J.-L et al.Acta informatica. 1993, Vol 30, Num 2, pp 147-180, issn 0001-5903Article

A relational division operator: the conjugate kernelDESHARNAIS, J; ALI JAOUA; MILI, F et al.Theoretical computer science. 1993, Vol 114, Num 2, pp 247-272, issn 0304-3975Article

Current trends in Algebraic Development TechniquesFIADEIRO, J. L.Theoretical computer science. 2002, Vol 286, Num 2, issn 0304-3975, 326 p.Conference Proceedings

ESPRESO ― A system for process control software specificationLUDEWIG, J.IEEE transactions on software engineering. 1983, Vol 9, Num 4, pp 427-436, issn 0098-5589Article

Algebraic specification and program development by stepwise refinementSANNELLA, D.Lecture notes in computer science. 2000, pp 1-9, issn 0302-9743, isbn 3-540-67628-7Conference Paper

On combining semi-formal and formal object specification techniquesGOGOLLA, M; RICHTERS, M.Lecture notes in computer science. 1998, pp 238-252, issn 0302-9743, isbn 3-540-64299-4Conference Paper

A Specification Translation from Behavioral Specifications to Rewrite SpecificationsNAKAMURA, Masaki; KONG, Weiqiang; OGATA, Kazuhiro et al.IEICE transactions on information and systems. 2008, Vol 91, Num 5, pp 1492-1503, issn 0916-8532, 12 p.Article

Embedding time granularity in a logical specification language for synchronous real-time systemsCIAPESSONI, E; CORSETTI, E; MONTANARI, A et al.Science of computer programming. 1993, Vol 20, Num 1-2, pp 141-171, issn 0167-6423Conference Paper

A Nitpick analysis of Mobile IPv6JACKSON, D; NG, Y.-C; WING, J et al.Formal aspects of computing. 1999, Vol 11, Num 6, pp 591-615, issn 0934-5043Article

Equivalence of recursive specifications in process algebraPONSE, Alban; USENKO, Yaroslav S.Information processing letters. 2001, Vol 80, Num 1, pp 59-65, issn 0020-0190Article

Application and formal specification of sorted term-position algebrasPOETZSCH-HEFFTER, Arnd; RAUCH, Nicole.Lecture notes in computer science. 2005, pp 201-217, issn 0302-9743, isbn 3-540-25327-0, 17 p.Conference Paper

Development of parsing tools for CASL using generic language technologyVAN DEN BRAND, Mark G. J; SCHEERDER, Jeroen.Lecture notes in computer science. 2000, pp 89-105, issn 0302-9743, isbn 3-540-67898-0Conference Paper

State-based extension of CASLBAUMEISTER, Hubert; ZAMULIN, Alexandre.Lecture notes in computer science. 2000, pp 3-24, issn 0302-9743, isbn 3-540-41196-8Conference Paper

A reuse-oriented framework for hierarchical specificationsCOUDERT, S; LE GALL, P.Lecture notes in computer science. 2000, pp 438-453, issn 0302-9743, isbn 3-540-67530-2Conference Paper

The Lübeck Transformation System: A transformation system for equational higher order algebraic specificationsDOSCH, Walter; MAGNUSSEN, Sönke.Lecture notes in computer science. 2002, pp 85-108, issn 0302-9743, isbn 3-540-43159-4Conference Paper

Contraintes dynamiques et schémas transactionnels = Dynamic Constraints and Transaction SchemasDe Amo, Sandra; Bidoit, N.1995, 234 p.Thesis

'The Standard logic for Z': A clarificationKING, S.Formal aspects of computing. 1999, Vol 11, Num 4, pp 472-473, issn 0934-5043Article

Semantic distance between specificationsMILI, Rym; DESHARNAIS, Jules; FRAPPIER, Marc et al.Theoretical computer science. 2000, Vol 247, Num 1-2, pp 257-276, issn 0304-3975Article

Comments on formal specification of user interfaces: a comparison and evaluation of four axiomatic approachesALEXANDER, H.IEEE transactions on software engineering. 1988, Vol 14, Num 4, pp 438-439, issn 0098-5589Article

Expérimentation de techniques de spécification formelle pour la conception de logiciels fiables et prouvés = Experimentation of technology of formal specifications for the design of proved and reliable softwareDE UGARTE, Grégorio.1984, 341 p.Report

Knowledge transformation and fusion in diagnostic systemsYING, Mingsheng.Artificial intelligence. 2005, Vol 163, Num 1, pp 1-45, issn 0004-3702, 45 p.Article

Vérification et validation de modèles CommonKADS par réseaux de Petri = Verifying and validating CommonKADS models using Petri netsTORRES, Lucile; FRYDMAN, Claudia.Revue d'intelligence artificielle. 2001, Vol 15, Num 2, pp 247-276, issn 0992-499XArticle

CafeOBJ: Logical foundations and methodologiesDIACONESCU, Razvan; FUTATSUGI, Kokichi; OGATA, Kazuhiro et al.Computing and informatics. 2003, Vol 22, Num 3-4, pp 257-283, issn 1335-9150, 27 p.Article

Définition d'une approche orientée-objet de la spécification algébrique de système informatique = Definition of an object oriented algebraic specification approach for computer science systemsKhoury, Carole; Gaudel, Marie-Claude.1999, 176 p.Thesis