Sage Journals: Discover world-class research

Retricted access

Research article

First published 2004-5

FORMAL METHODS FOR QUALITY OF SERVICE ANALYSIS IN COMPONENT-BASED DISTRIBUTED COMPUTING

Chunmin Yang, Barrett R. Bryant, Carol C. Burt [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2015-2

Improving Productivity in Design and Development of Information Technology (IT) Service Delivery Simulation Models

Anton Beloglazov, Dipyaman Banerjee, Alan Hartman [...]

Journal of Service Research

Retricted access

Research article

First published 2010-3

A Generic Approach to Connector Architectures Part I: The General Framework

Fernando Orejas, Hartmut Ehrig, Markus Klein [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2010-3

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP

Fernando Orejas, Hartmut Ehrig, Markus Klein [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1996-2

Towards an Integration of Software Product and Software Process Modeling

Noureddine Belkhatir, Walcélio L. Melo

Integrated Computer-Aided Engineering

Retricted access

Research article

First published 2005-8

Automatic Modeling and Analysis of MSC-specified Systems

Sergiy Kryvyy, Lyudmila Matvyeyeva, Mariya Lopatina

Fundamenta Informaticae

Retricted access

Research article

First published 2006-8

A Rewriting Framework for Rule-Based Programming Dynamic Applications

Anatoliy Doroshenko, Ruslan Shevchenko

Fundamenta Informaticae

Retricted access

Research article

First published 2020-11

DEv-PROMELA: modeling,verification,and validation of a video game by combining model-checking and simulation

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman

SIMULATION

Open access

Research article

First published 2021-10

Towards a formal framework for integrated design-optimization and control of mechatronicsystems

Fariba Rahimi

Science Progress

Retricted access

Research article

First published 2010-3

Integrating formal methods with domain analysis

Laura Felice, María Carmen Leonardi, María Virginia Mauco [...]

Journal of Computational Methods in Sciences and Engineering

Search results