Systems analysis of life cycle of large-scale information-control systems

DOI10.1134/S0005117913090075zbMath1277.93007OpenAlexW2015165360WikidataQ124972913 ScholiaQ124972913MaRDI QIDQ386928

Sergey Kovalev

Publication date: 11 December 2013

Published in: Automation and Remote Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0005117913090075

Mathematics Subject Classification ID

Large-scale systems (93A15)

Uses Software

• Specware

Cites Work

• Categories for Software Engineering
• Institutions: abstract model theory for specification and programming
• A categorical manifesto
• Evolving Algebras 1993: Lipari Guide
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item