Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Boris Shishkov

Composite Public Values and Software Specifications

Lecture Notes in Business Information Processing
ControlSystems EngineeringInformation SystemsBusinessInternational ManagementSimulationManagementManagement Information SystemsModeling
2018English

Related publications

Model Checking Large Software Specifications

ACM SIGSOFT Software Engineering Notes
1996English

Actionable Analytics on Software Requirement Specifications

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2020English

Introducing Software Specifications to an Undergraduate Software Engineering Program

English

Ontology Based Specifications for Software Reliability Advancement

International Journal of Computer Applications
2012English

Automated Error-Detection and Repair for Compositional Software Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

CSCW for Preparing Formal Software Specifications: Issues and Implementation

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2008English

Formal Specifications of Software Model Evolution Using Contracts

English

Public Policy and Political Values

2019English

The Public Brand Between New Practices and Public Values

International Review of Administrative Sciences
SociologyPolitical SciencePublic Administration
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy