A survey of non-functional requirements in software development process

A Matoussi, R Laleau - 2008 - hal.science
Due to the enormous pressure towards deploying software as fast as possible, functional
requirements have been the main focus of software development process at the expense of …

A formal pattern of information system design

AY Unger - Journal of Physics: Conference Series, 2021 - iopscience.iop.org
A new design pattern intended for distributed cloud-based information systems is proposed.
Pattern is based on the traditional client-server architecture. The server side is divided into …

Guidelines for the incremental identification of aspects in requirements specifications

J García-Duque, M López-Nores, JJ Pazos-Arias… - Requirements …, 2006 - Springer
The desired principle of separation of concerns in software development can be jeopardized
by the so-called crosscutting concerns, which tend to be scattered over (and tangled with) …

OCL Based Approach for Sustainable ML Model Development

G Hanumanthu, V Lendale, G Ramesh… - E3S Web of …, 2023 - e3s-conferences.org
It became a bottleneck for the Machine Learning (ML) researchers to select/develop a
sustainable model for a particular problem. Hence, there is a need for an approach to …

Methodology for the development of a distributed information system

AY Unger - AIP Conference Proceedings, 2023 - pubs.aip.org
The article deals with some applied aspects of the design of a distributed information
system. The structure of the system is proposed, including components for storing …

Enhancing Language-Based Security: A Constraint-Based Programming Approach to Type Systems and Type Checking With a Focus on the C Programming …

R Shigdel - 2024 - search.proquest.com
The C programming language, known for its power and efficiency, is ubiquitous in systems
programming, embedded systems, and other performance-critical applications. However, its …

A Language for describing wireless mobile applications with dynamic establishment of multi-way synchronization channels

T Umedu, Y Terashima, K Yasumoto, A Nakata… - FME 2002: Formal …, 2002 - Springer
In this paper, we define a new language called LOTOS/M which enables dynamic
establishment of multi-way synchronization channels among multiple agents (processes …

Procedures and algorithms for continuous integration in an agile specification environment

M Lopez-Nores, JJ Pazos-Arias… - … Journal of Software …, 2009 - World Scientific
One of the main ideas of agile development is to perform continuous integration, in order to
detect and resolve conflicts among several modular units of a system as soon as possible …

A systematic design method for high quality process-control systems development

D Wang, FB Bastani, IL Yen - International Journal of Software …, 2004 - World Scientific
Basically, the development of a software system contains specification, design, and
implementation. Various specification mechanisms and design methods have been …

Transaction-Oriented Approach to the Design of Information Systems Based on Formal Grammar

AY Unger, YS Asadova, AA Gololobov - International Conference on High …, 2022 - Springer
The article discusses some important aspects of designing cloud information systems based
on formal grammars. The proposed approach is based on the formalization of the …