Preface by the section editors

Lenore Zuck, Paul Attie, Agostino Cortesi

Research output: Contribution to journalEditorial

Abstract

The papers in this special section present a sample of recent approaches to modeling and verification of software-based systems. This research was initially presented at the 4th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '03). The choice of papers for the issue was based on their merit as well as on the fact that, as a group, they represent the main current research areas in the field of software-based systems.

Original languageEnglish (US)
Pages (from-to)1-3
Number of pages3
JournalInternational Journal on Software Tools for Technology Transfer
Volume6
Issue number1
DOIs
StatePublished - Jan 1 2004
Externally publishedYes

Fingerprint

Model checking

ASJC Scopus subject areas

  • Software
  • Information Systems

Cite this

Preface by the section editors. / Zuck, Lenore; Attie, Paul; Cortesi, Agostino.

In: International Journal on Software Tools for Technology Transfer, Vol. 6, No. 1, 01.01.2004, p. 1-3.

Research output: Contribution to journalEditorial

Zuck, Lenore ; Attie, Paul ; Cortesi, Agostino. / Preface by the section editors. In: International Journal on Software Tools for Technology Transfer. 2004 ; Vol. 6, No. 1. pp. 1-3.
@article{0b2d976b6f43462aaf7d287556a5b64e,
title = "Preface by the section editors",
abstract = "The papers in this special section present a sample of recent approaches to modeling and verification of software-based systems. This research was initially presented at the 4th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '03). The choice of papers for the issue was based on their merit as well as on the fact that, as a group, they represent the main current research areas in the field of software-based systems.",
author = "Lenore Zuck and Paul Attie and Agostino Cortesi",
year = "2004",
month = "1",
day = "1",
doi = "10.1007/s10009-004-0144-y",
language = "English (US)",
volume = "6",
pages = "1--3",
journal = "International Journal on Software Tools for Technology Transfer",
issn = "1433-2779",
publisher = "Springer Verlag",
number = "1",

}

TY - JOUR

T1 - Preface by the section editors

AU - Zuck, Lenore

AU - Attie, Paul

AU - Cortesi, Agostino

PY - 2004/1/1

Y1 - 2004/1/1

N2 - The papers in this special section present a sample of recent approaches to modeling and verification of software-based systems. This research was initially presented at the 4th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '03). The choice of papers for the issue was based on their merit as well as on the fact that, as a group, they represent the main current research areas in the field of software-based systems.

AB - The papers in this special section present a sample of recent approaches to modeling and verification of software-based systems. This research was initially presented at the 4th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '03). The choice of papers for the issue was based on their merit as well as on the fact that, as a group, they represent the main current research areas in the field of software-based systems.

UR - http://www.scopus.com/inward/record.url?scp=84896871665&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84896871665&partnerID=8YFLogxK

U2 - 10.1007/s10009-004-0144-y

DO - 10.1007/s10009-004-0144-y

M3 - Editorial

AN - SCOPUS:84896871665

VL - 6

SP - 1

EP - 3

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

SN - 1433-2779

IS - 1

ER -