BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Denmark
1 × Switzerland
1 × USA
2 × Germany
3 × Italy
Collaborated with:
G.Reggio M.Cerioli G.Costa M.Leotta F.Ricca F.Morando M.Martelli V.Mascardi C.Choppy H.Hußmann G.Mascari M.Wirsing M.Ribaudo T.Vernazza
Talks about:
specif (5) formal (4) approach (3) system (3) requir (3) method (3) smolc (3) uml (3) soa (3) multiview (2)

♂ Person: Egidio Astesiano

DBLP DBLP: Astesiano:Egidio

Facilitated 3 volumes:

FASE 1998Ed
FASE 1998PrCh
FASE 1998Ed

Contributed to:

ICSE 20122012
CSMR 20112011
SEFM 20032003
SEKE 20032003
SEKE 20022002
FASE 20012001
FASE 20002000
FME 19931993
Software Development and Ada 19861986
ICALP 19801980
ICALP 19791979
TAPSOFT, Vol.1: CAAP 19851985
TAPSOFT, Vol.1: AS 19871987
TAPSOFT, Vol.1: CAAP 19891989
TAPSOFT, Vol.1: CAAP 19911991

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.
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.
Formalism and Method (EA, GR), pp. 93–114.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.