Introducing formal methods through role-playing
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Reasoning on gestural interfaces through syndetic modelling]
ACM SIGCHI Bulletin
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalizing space shuttle software requirements: four case studies
ACM Transactions on Software Engineering and Methodology (TOSEM)
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using formal methods for teaching software engineering: a tool-based approach
Annals of Software Engineering - Special issue on software engineering education
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Support for teaching formal methods
ACM SIGCSE Bulletin
Support for teaching formal methods
Working group reports from ITiCSE on Innovation and technology in computer science education
Requirements and Specification Exemplars
Automated Software Engineering
Ten Commandments of Formal Methods
Computer
Formal Methods: Point-Counterpoint
Computer
Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
The KeY Approach: Integrating Object Oriented Design and Formal Verification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
A Dynamic Logic for the Formal Verification of Java Card Programs
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
The Value of Verification: Positive Experience of Industrial Proof
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
The Industrial Use of Formal Methods: Was Darwin Right?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Confessions of a formal methodist
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Mathematical reasoning in software engineering education
Communications of the ACM - Why CS students need math
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
An approach to the formal specification of lingware
Natural Language Engineering
Verification of behavioural elements of UML models using B
Proceedings of the 2005 ACM symposium on Applied computing
Formal methods for computer systems
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
BRILLANT: An Open Source and XML-based platform for Rigourous Software Development
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Formal modelling and analysis of mission-critical software in military avionics systems
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Integrating UML and Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
A review of accident modelling approaches for complex socio-technical systems
SCS '07 Proceedings of the twelfth Australian workshop on Safety critical systems and software and safety-related programmable systems - Volume 86
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
Science of Computer Programming
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Hierarchical Morphological Composition Of Web Hosting System
Journal of Integrated Design & Process Science
Lessons learned from rigorous system software development
Information and Software Technology
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Recent industrial applications of VDM in Japan
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Lessons learnt from the adoption of formal model-based development
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Modeling for safety in a synthesis-centric systems engineering framework
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |