Concepedia

Egidio Astesiano

EA

22

Publications

618

Citations

14

H-Index

1980

Active since

Affiliations

University of Genoa(Current)

Polytechnic University of Turin

University of Basilicata

Ingegneria dei Sistemi (Italy)

Egidio Astesiano is an author at University of Genoa specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningSoftware DesignComputer ScienceSoftware AnalysisSoftware EngineeringSemanticsFormal VerificationDesign

Publications per year

1980–2014

22

Publications

22

CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Bernd Krieg-Brückner et al. · Theoretical Computer Science · 2002 · 188 citations

Specification Language, Formal Specification, Engineering +8

Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements

Filippo Ricca, Giuseppe Scanniello, Marco Torchiano et al. · ACM Transactions on Software Engineering and Methodology · 2014 · 79 citations

Engineering, Task Analysis, Education +20

D-oids: a model for dynamic data-types

Egidio Astesiano, Elena Zucca · Mathematical Structures in Computer Science · 1995 · 41 citations

Engineering, Dynamic Data, Formal Verification +21

On the effectiveness of screen mockups in requirements engineering

Filippo Ricca, Giuseppe Scanniello, Marco Torchiano et al. · 2010 · 33 citations

Inductive and Operational Semantics.

Egidio Astesiano · 1989 · 25 citations

Formal Semantics, Operational Semantics, Automated Reasoning +2

Rows per page

1–5 of 22