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 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

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

Contraintes dynamiques et schémas transactionnels = Dynamic Constraints and Transaction SchemasDe Amo, Sandra; Bidoit, N.1995, 234 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

Formal specification and static checking of Gemplus' electronic purse using ESC/JavaCATANO, Néstor; HUISMAN, Marieke.Lecture notes in computer science. 2002, pp 272-289, issn 0302-9743, isbn 3-540-43928-5, 18 p.Conference Paper

Dynamics and control in component-based agent modelsBRAZIER, Frances M. T; JONKER, Catholiin M; TREUR, Jan et al.International journal of intelligent systems. 2002, Vol 17, Num 11, pp 1007-1047, issn 0884-8173, 41 p.Article

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

The B Method and the B ToolkitROBINSON, K.Lecture notes in computer science. 1997, pp 576-580, issn 0302-9743, isbn 3-540-63888-1Conference Paper

Composing and controlling search in reasoning theories using mappingsCOGLIO, A; GIUNCHIGLIA, F; MESEGUER, J et al.Lecture notes in computer science. 2000, pp 200-216, issn 0302-9743, isbn 3-540-67281-8Conference Paper

Dependency analysis of recursive data structures using automatic groupsARVIND, D. K; LEWIS, T. A.Lecture notes in computer science. 1999, pp 353-366, issn 0302-9743, isbn 3-540-66426-2Conference Paper

Automatic derivation of formal software specifications from informal descriptionsMIRIYALA, K; HARANDI, M. T.IEEE transactions on software engineering. 1991, Vol 17, Num 10, pp 1126-1142, issn 0098-5589Article

Formal methods and dependabilityJONES, C. B.Lecture notes in computer science. 2000, pp 140-143, issn 0302-9743, isbn 3-540-67727-5Conference Paper

Proving Sequential Function Chart programs using automataL'HER, D; LE PARC, P; MARCE, L et al.Lecture notes in computer science. 1999, pp 149-163, issn 0302-9743, isbn 3-540-66652-4Conference Paper

The arrow manifesto : : Towards software engineering based on comprehensible yet rigorous graphic specificationsPIESSENS, B. F; DISKIN, Z; KADISH, B et al.International congress on cyberneticsCongrès international de cybernétique. 1998, pp 300-305, isbn 2-87215-004-8Conference Paper

ISpec: Towards practical and sound interface specificationsJONKERS, Hans B. M.Lecture notes in computer science. 2000, pp 116-135, issn 0302-9743, isbn 3-540-41196-8Conference Paper

Experiences with specification-based intrusion detectionUPPULURI, Prem; SEKAR, R.Lecture notes in computer science. 2001, pp 172-189, issn 0302-9743, isbn 3-540-42702-3Conference 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

Formalizing requirements for distributed systems with trace diagramsKLEUKER, S.Lecture notes in computer science. 1997, pp 102-121, issn 0302-9743, isbn 3-540-63533-5Conference Paper

Parallel hardware design in BHALLERSTEDE, Stefan.Lecture notes in computer science. 2003, pp 101-102, issn 0302-9743, isbn 3-540-40253-5, 2 p.Conference Paper

Understanding the IDPF EPUB3 Indexes SpecificationCOMBS, Michele; REAM, David K.Indexer. 2014, Vol 32, Num 3, pp 121-129, issn 0019-4131, 9 p.Article

Practical interface specificationHOFFMAN, D.Software, practice & experience. 1989, Vol 19, Num 2, pp 127-148, issn 0038-0644Article

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

A language for role specificationsKUNCAK, Viktor; LAM, Patrick; RINARD, Martin et al.Lecture notes in computer science. 2003, pp 366-382, issn 0302-9743, isbn 3-540-04029-3, 17 p.Conference Paper