kw.\*:("Formal specification")
Results 1 to 25 of 2196
Selection :
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
ZB 2003 : formal specification and development in Z and B (Turku, 4-6 June 2003)Bert, Didier; Bowen, Jonathan P; King, Steve et al.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40253-5, XIII, 545 p, isbn 3-540-40253-5Conference Proceedings
To be or not to be ... a global constraintBESSIERE, Christian; VAN HENTENRYCK, Pascal.Lecture notes in computer science. 2003, pp 789-794, issn 0302-9743, isbn 3-540-20202-1, 6 p.Conference Paper
The OntoWordNet project: Extension and axiomatization of conceptual relations in WordNetGANGEMI, Aldo; NAVIGLI, Roberto; VELARDI, Paola et al.Lecture notes in computer science. 2003, pp 820-838, issn 0302-9743, isbn 3-540-20498-9, 19 p.Conference Paper
Characters + mark-up = Z LexisTOYN, Ian; STEPNEY, Susan.Lecture notes in computer science. 2002, pp 100-119, issn 0302-9743, isbn 3-540-43166-7Conference Paper
BE4 : The B extensible eclipse editing environmentBENDISPOSTO, Jens; LEUSCHEL, Michael.Lecture notes in computer science. 2006, pp 270-273, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 4 p.Conference Paper
Efficient, verifiable shuffle decryption and its requirement of unlinkabilityJUN FURUKAWA.Lecture notes in computer science. 2004, pp 319-332, issn 0302-9743, isbn 3-540-21018-0, 14 p.Conference Paper
Corpus-based rules for Czech verb discontinuous constituentsZACKOVA, E; PALA, K.Lecture notes in computer science. 1999, Vol 1692, pp 325-328, issn 0302-9743, isbn 3-540-66494-7Conference Paper
Formal Extreme (and extremely formal) ProgrammingHERRANZ, Angel; MORENO-NAVARRO, Juan Jose.Lecture notes in computer science. 2003, pp 88-96, issn 0302-9743, isbn 3-540-40215-2, 9 p.Conference Paper
Confidentiality levels and deliberate/indeliberate protocol attacks. DiscussionBELLA, Giampaolo; BISTARELLI, Stefano; COHEN, Ernie et al.Lecture notes in computer science. 2003, pp 104-119, issn 0302-9743, isbn 3-540-20830-5, 16 p.Conference Paper
Automatically generating information from a Z specification to support the Classification Tree MethodHIERONS, Robert M; HARMAN, Mark; SINGH, Harbhajan et al.Lecture notes in computer science. 2003, pp 388-407, issn 0302-9743, isbn 3-540-40253-5, 20 p.Conference Paper
A linearly complex model for knowledge representationSARBO, Janos; FARKAS, Jozsef.Lecture notes in computer science. 2002, pp 20-33, issn 0302-9743, isbn 3-540-43901-3, 14 p.Conference Paper
STG: A symbolic test generation toolCLARKEL, Duncan; JERON, Thierry; RUSU, Vlad et al.Lecture notes in computer science. 2002, pp 470-475, issn 0302-9743, isbn 3-540-43419-4Conference Paper
Modeling agent-based systemsMANDUTIANU, Sanda.Lecture notes in computer science. 2001, pp 318-320, issn 0302-9743, isbn 3-540-42716-3Conference Paper
Formal methods in software practiceDILLON, Laura K; SANKAR, Sriram.IEEE transactions on software engineering. 1997, Vol 23, Num 5, pp 265-323, issn 0098-5589Serial Issue
ZB 2005 : formal specification and developments in Z and B (Guildford, 13-15 April 2005)Treharne, Helen; King, Steve; Henson, Martin et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25559-1, XV, 491 p, isbn 3-540-25559-1Conference Proceedings
ZML: XML support for standard ZUTTING, Mark; TOYN, Ian; JING SUN et al.Lecture notes in computer science. 2003, pp 437-456, issn 0302-9743, isbn 3-540-40253-5, 20 p.Conference Paper
FME 2002 : formal methods - getting IT right (Copenhagen, 22-24 July 2002)Eriksson, Lars-Henrik; Lindsay, Peter Alexander.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43928-5, XI, 624 p, isbn 3-540-43928-5Conference Proceedings
BRAMA : A new graphic animation tool for b models clearsy -2007 B conferenceSERVAT, Thierry.Lecture notes in computer science. 2006, pp 274-276, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 3 p.Conference Paper
An approach to symbolic test generationRUSU, Vlad; DU BOUSQUET, Lydie; JERON, Thierry et al.Lecture notes in computer science. 2000, pp 338-357, issn 0302-9743, isbn 3-540-41196-8Conference Paper
A review of object-oriented approaches in formal methodsRUIZ-DELGADO, A; PITT, D; SMYTHE, C et al.Computer journal (Print). 1995, Vol 38, Num 10, pp 777-784, issn 0010-4620Article
Defining Predictable AssemblyHAMLET, Dick.Lecture notes in computer science. 2006, pp 320-327, issn 0302-9743, isbn 3-540-35628-2, 1Vol, 8 p.Conference Paper
The knowledge market: Agent-mediated knowledge sharingDIGNUM, Virginia; DIGNUM, Frank.Lecture notes in computer science. 2003, pp 168-179, issn 0302-9743, isbn 3-540-40450-3, 12 p.Conference Paper
Towards practical proofs of class correctnessMEYER, Bertrand.Lecture notes in computer science. 2003, pp 359-387, issn 0302-9743, isbn 3-540-40253-5, 29 p.Conference Paper
Using CASL to specify the requirements and the design : A problem specific approachCHOPPY, Christine; REGGIO, Gianna.Lecture notes in computer science. 2000, pp 106-125, issn 0302-9743, isbn 3-540-67898-0Conference Paper