Communicating sequential processes
Communicating sequential processes
Introduction to higher order categorical logic
Introduction to higher order categorical logic
Logics of time and computation
Logics of time and computation
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Evolving algebras 1993: Lipari guide
Specification and validation methods
Universal Algebra, Algebraic Logic, and Databases
Universal Algebra, Algebraic Logic, and Databases
ADBIS '95 Proceedings of the Second International Workshop on Advances in Databases and Information Systems
A Classification of Models for Concurrency
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Specware: Formal Support for Composing Software
MPC '95 Mathematics of Program Construction
Categories for Software Engineering
Categories for Software Engineering
Model-driven development: the good, the bad, and the ugly
IBM Systems Journal - Model-driven software development
IBM Systems Journal - Model-driven software development
Aspect-oriented requirements engineering: a roadmap
Proceedings of the 13th international workshop on Early Aspects
Where Is the Proof? - A Review of Experiences from Applying MDE in Industry
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
The Grand Challenge of Scalability for Model Driven Engineering
Models in Software Engineering
Rigorous identification and encoding of trace-links in model-driven engineering
Software and Systems Modeling (SoSyM)
Smart Grid software applications as an ultra-large-scale system: Challenges for evolution
ISGT '12 Proceedings of the 2012 IEEE PES Innovative Smart Grid Technologies
| Hi-index | 0.00 |
Results of analysis of problems associated with life cycle cost reduction for large-scale information-control systems are presented. Rational design concepts with application of an aspect-oriented method for large-scale systems are described. An approach to life cycle organization corresponding to the ISO/IEC 12207-2008 standard on the basis of domain engineering and model-driven engineering technologies is proposed. The paper shows a necessity of using the approach within a unified mathematical semantic base supplied by category theory. The approach has been tested during development of application information-control systems in energy production.