Integrating model verification and self-adaptation
Proceedings of the IEEE/ACM international conference on Automated software engineering
A pattern system to support refining informal ideas into formal expressions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
An approach to formal verification of embedded software
Proceedings of the 15th WSEAS international conference on Computers
Statistical model checking for cyber-physical systems
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Integrating prototyping into the SOFL three-step modeling approach
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
The use of mathematics in software quality assurance
Frontiers of Computer Science in China
Towards linear algebras of components
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
An approach using the b method to formal verification of PLC programs in an industrial setting
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Point-and-shoot security design: can we build better tools for developers?
Proceedings of the 2012 workshop on New security paradigms
Applying theorem discovery to automatically find and check usability heuristics
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Typing linear algebra: A biproduct-oriented approach
Science of Computer Programming
| Hi-index | 4.10 |
We must question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed.