17 results on '"A. Naumchev"'
Search Results
2. Extracting Software Requirements from Unstructured Documents.
3. Examining Requirements Documentation through the Focused Conversation Method.
4. Towards an Anatomy of Software Requirements.
5. Object-Oriented Requirements: Reusable, Understandable, Verifiable.
6. VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper).
7. Towards Code Review Guideline in a Classroom.
8. Teaching DevOps in Corporate Environments - An Experience Report.
9. Teaching Programming and Design-by-Contract.
10. Detection of Inconsistent Contracts Through Modular Verification.
11. Complete Contracts through Specification Drivers.
12. Unifying Requirements and Code: An Example.
13. Security Requirements as Code: Example from VeriDevOps Project
14. Seamless Object-Oriented Requirements
15. Complete Contracts through Specification Drivers
16. Integrated Characterization of Upper Cretaceous Reservoirs - Case Study from Large Gas Field, Western Siberia
17. Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.