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

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

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

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

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

Symbolic discrete event system specificationZEIGLER, B. P; SUNGDO CHI.IEEE transactions on systems, man, and cybernetics. 1992, Vol 22, Num 6, pp 1428-1443, issn 0018-9472Article

A basic calculus for verifiying properties of interacting objectsCONRAD, S.Data & knowledge engineering. 1996, Vol 18, Num 2, pp 119-145, issn 0169-023XArticle

Architectural specifications in CASLBIDOIT, Michel; SANNELLA, Donald; TARLECKI, Andrzei et al.Formal aspects of computing. 2002, Vol 13, Num 3-5, pp 252-273, issn 0934-5043, 22 p.Article

From specifications to code in CASLASPINALL, David; SANNELLA, Donald.Lecture notes in computer science. 2002, pp 1-14, issn 0302-9743, isbn 3-540-44144-1, 14 p.Conference Paper

ANALYSE DES STRUCTURES SYMBOLYQUES MANIPULEES DANS LES LANGAGES DE SPECIFICATION. PROPOSITION ET EVALUATION DE STRATEGIES ADAPTEES AU CONTROLE DE LA QUALITE : APPLICATION AU LANGAGE LSD = ANALYSIS OF THE SYMBOLIC STRUCTURES APPEARING IN SPECIFICATION LANGUAGES. SPECIFICATION QUALITY CONTROL STRATEGY AND THEIR EVALUATION : APPLICATION TO SDLAMMAR BOUDJELAL, Farid; LOUIS, Georges.1999, 127 p.Thesis

Performance-related completions for software specificationsWOODSIDE, Murray; PETRIU, Dorin; SIDDIQUI, Khalid et al.Proceedings - International Conference on Software Engineering. 2002, pp 22-32, issn 0270-5257, isbn 1-58113-472-X, 11 p.Conference Paper

Scientific decisions which characterize VDMJONES, C. B.Lecture notes in computer science. 1999, pp 28-47, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Goal-directed requirements acquisition = Requirements analysis includes a preliminary acquisition step where a global model for the specification of the system and its environment is elaborated. This model is called requirements model. This paper presents an approach to requirements acquisition which is driven by such higher-level concepts. Requirements models are acquired as instances of a conceptual meta-model. The latter can be represented as a graph where each node captures an abstraction such as, e.g. goal, action, agent, entity, or event, and where the edges semantic links between such abstractions. Requirements acquisition processes then correspond to particular ways of traversing the meta-model graph to acquire appropriate instances of the various nodes and links according to the constraints. The paper describes a significant portion of the meta-model related to system goals, and one particular acquisition strategy where the meta-model is traversed backwards from such goalsDARDENNE, A; VAN LAMSWEERDE, A; FICKAS, S et al.Science of computer programming. 1993, Vol 20, Num 1-2, pp 3-50, issn 0167-6423Conference Paper

Why doesn't anyone use formal methods?SCHULTE, Wolfram.Lecture notes in computer science. 2000, pp 297-298, issn 0302-9743, isbn 3-540-41196-8Conference Paper

A specification language for organisational performance indicatorsPOPOVA, Viara; TREUR, Jan.Lecture notes in computer science. 2005, pp 667-677, issn 0302-9743, isbn 3-540-26551-1, 11 p.Conference Paper