This article surveys techniques used in structured and object-oriented software specification
methods. The techniques are classified as techniques for the specification of external …

A comprehensive introduction to the foundations of model checking, a fully automated
technique for finding flaws in hardware and software; with extensive examples and both …

An Open Source Software (OSS) project is unlikely to be successful unless there is an
accompanied community that provides the platform for developers and users to collaborate …

This paper studies the semantics of hierarchical finite state machines (FSM's) that are
composed using various concurrency models, particularly dataflow, discrete-events, and …

Tree-structured generation of orthogonal spreading codes with different lengths is presented
for orthogonal multiplexing of forward-link code-channels of different data rates in direct …

For almost three years the European Telecommunications Standards Institute (ETSI) has
been working on the specification of the general packet radio service (GPRS) for the Global …

" This book presents a refreshing but serious and conscientious approach to the work of
develo** useful software. Roel Wieringa, being a philosopher as well as an engineer, is …

This paper reviews the development of Model-Driven Software Engineering (MDSE) from its
origins to the present day. The paper discusses the components of models, modelling …

Embedded-system specification and design consists of describing a system's desired
functionality and map** that functionality for implementation by a set of system …

4-е издание монографии «Сигнализация в сетях связи», вышедшей в 1997, 1998 и
2001 г. г., посвящено протоколам сигнализации Взаимоувязанной сети связи …