Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Richard O Sinnott
Frameworks: The Future of Formal Software Development?
Computer Standards and Interfaces
Hardware
Law
Architecture
Software
Related publications
Is Open Source Software the Future of Software Development?
International Journal of Business, Humanities and Technology
Composition by Colimit and Formal Software Development
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Aspects of Component Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Simulation Games in Teaching Formal Methods for Software Development
Advances in Higher Education and Professional Development
Practical Formal Software Engineering
Formal Verification of Object-Oriented Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Software Engineering and Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Model of the Software Test Process
IEEE Transactions on Software Engineering
Software
Implementation of Education for Sustainable Development Principles in the Training of Future Software Engineers
E3S Web of Conferences
Earth
Energy
Planetary Sciences
Environmental Science
