♂ Person: Egidio Astesiano

DBLP: Astesiano:Egidio

Facilitated 3 volumes:

Ed

PrCh

Ed

Contributed to:

2012

2011

2003

2003

2002

2001

2000

1993

1986

1980

1979

1985

1987

1989

1991

1995

1997

Wrote 17 papers:

ICSE-2012-LeottaRRRAV #industrial

SOA adoption in the Italian industry (ML, FR, MR, GR, EA, TV), pp. 1441–1442.

CSMR-2011-LeottaRRA #architecture #maintenance

Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA (ML, FR, GR, EA), pp. 317–320.

SEFM-2003-AstesianoR #development #towards #uml

Towards a Well-Founded UML-Based Development Method (EA, GR), p. 102–?.

SEKE-2003-AstesianoMMR #execution #multi #prototype #specification

From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques (EA, MM, VM, GR), pp. 578–585.

SEKE-2002-AstesianoR #information management #representation

Knowledge structuring and representation in requirement specificaiton (EA, GR), pp. 143–150.

FASE-2001-ReggioCA #approach #multi #semantics #towards #uml

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach (GR, MC, EA), pp. 171–186.

FASE-2000-ReggioACH #approach #formal method #lightweight #state machine #uml

Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.

FME-1993-AstesianoR #metalanguage #specification

A Metalanguage for the Formal Requirement Specification of Reactive Systems (EA, GR), pp. 110–128.

CRAI-1986-AstesianoR #approach #programming language #semantics #tutorial

The SMoLCS Approach to the Formal Semantics of Programming Languages — A Tutorial Introduction (EA, GR), pp. 81–116.

ICALP-1980-AstesianoC

Languages with Reducing Reflective Types (EA, GC), pp. 38–50.

ICALP-1979-AstesianoC #nondeterminism

Sharing in Nondeterminism (EA, GC), pp. 1–15.

CAAP-1985-AstesianoMRW #algebra #concurrent #on the #specification

On the Parameterized Algebraic Specification of Concurrent Systems (EA, GM, GR, MW), pp. 342–358.

AS-1987-AstesianoR #calculus #concurrent

SMoLCS-Driven Concurrent Calculi (EA, GR), pp. 169–201.

CAAP-1989-AstesianoC #higher-order #modelling #on the #specification

On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications (EA, MC), pp. 74–88.

CAAP-1991-AstesianoC #algebra #specification #strict

Non-Strict Don't Care Algebras and Specifications (EA, MC), pp. 121–142.

TAPSOFT-1995-AstesianoRM #tool support

The SMoLCS ToolSet (EA, GR, FM), pp. 801–802.

TAPSOFT-1997-AstesianoR

Formalism and Method (EA, GR), pp. 93–114.