Amanote Research

Amanote Research

    RegisterSign In

Executable Protocol Models as a Requirements Engineering Tool

doi 10.1109/anss-41.2008.20
Full Text
Open PDF
Abstract

Available in full text

Date

April 1, 2008

Authors
Ashley McNeileElla Roubtsova
Publisher

IEEE


Related search

Generating Executable Capability Models for Requirements Validation

Journal of Software
2012English

Task Models as Basis for Requirements Engineering and Software Execution

2004English

PetriNect: A Tool for Executable Modeling of Gestural Interaction

2013English

A Tool-Supported Approach to Engineering HTN Planning Models

English

Engineering Executable Agents Using Multi-Context Systems

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2002English

Cas9 as a Versatile Tool for Engineering Biology

Nature Methods
BiochemistryBiotechnologyCell BiologyMolecular Biology
2013English

Requirements Engineering: A Survey

Communications on Applied Electronics
2015English

Large Scale Requirements Analysis as Heterogeneous Engineering

English

Requirements Engineering

Requirements Engineering
Information SystemsSoftware
English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy