Results 291 to 300 of about 1,932,015 (306)

Seven more myths of formal methods

IEEE Software, 1995
Jonathan P Bowen, M G Hinchey
exaly  

Methods of Formal Consensus in Classification/Diagnostic Criteria and Guideline Development

Seminars in Arthritis and Rheumatism, 2011
Raj Nair, Rohit Aggarwal, Dinesh Khanna   +2 more
exaly  

An empirical research agenda for understanding formal methods productivity

Information and Software Technology, 2015
Ross Jeffery, Mark Staples, June Andronick   +2 more
exaly  

Using formal specifications to support testing

ACM Computing Surveys, 2009
Robert M Hierons, Jonathan P Bowen, John Derrick   +2 more
exaly  

Ten Commandments of Formal Methods ...Ten Years Later

Computer, 2006
Jonathan P Bowen, M G Hinchey
exaly  

Teaching formal methods in the context of software engineering

SIGCSE Bulletin, 2009
Shaoying Liu
exaly  

Formal methods for test sequence generation

Computer Communications, 1992
Hasan Ural
exaly  

Rejoinder: In defense of formal methods

Journal of the American Society for Information Science and Technology, 2004
Ahlgren, Per, Jarneving, Bo, Rousseau, Ronald   +2 more
openaire   +2 more sources

Formal methods and standards

ACM SIGSOFT Software Engineering Notes, 1994
openaire   +1 more source

Quality, cleanroom and formal methods

Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2005
exaly