Results 351 to 360 of about 2,060,377 (384)
Some of the next articles are maybe not open access.
Formal Specification-Based Inspection for Verification of Programs
IEEE Transactions on Software Engineering, 2012Shaoying Liu +3 more
semanticscholar +1 more source
Formal Specification and Verification
1997Once requirements are fully understood, it is important to have them documented and verified. This stage is critical, since no one wants to waste hundreds of employee hours developing a software package that does not function as expected. Requirements specification can be done in terms of the logical components involved, their respective inputs ...
openaire +2 more sources
Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures
ACM Trans. Design Autom. Electr. Syst., 2012Freek Verbeek, J. Schmaltz
semanticscholar +1 more source
Formal Specification and Testing of Model Transformations
International School on Formal Methods for the Design of Computer, Communication and Software Systems, 2012Antonio Vallecillo +4 more
semanticscholar +1 more source
Building consistent formal specification for the service enterprise agility foundation
Journal of Service Science Research, 2012N. Kryvinska
semanticscholar +1 more source
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Lectures on Runtime Verification, 2018E. Bartocci +6 more
semanticscholar +1 more source
Foundations of Algebraic Specification and Formal Software Development
Monographs in Theoretical Computer Science. An EATCS Series, 2012D. Sannella, A. Tarlecki
semanticscholar +1 more source
American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer
Ca-A Cancer Journal for Clinicians, 2002Carolyn D Runowicz +2 more
exaly
Patterns for Representing FMEA in Formal Specification of Control Systems
IEEE International Symposium on High-Assurance Systems Engineering, 2011I. Lopatkin +4 more
semanticscholar +1 more source