Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.
EDBT 2026 Demo / reviewers in the wild / expert

Fiona Hayes

dblp:11/4136 · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
0since 2021 · last 1992
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 1 first-authorDatabases, data management, data science and information retrieval · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
3 papers
Requirements engineering and software design · 62% Program verification · 29% Programming languages and type systems · 9%

Topics — the 3 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Requirements engineering and software design › object-oriented analysis and design
object-oriented design		 0.011992
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design · IEEE Trans. Software Eng. 1992
Requirements engineering and software design › object-oriented analysis and design
object-oriented analysis		 0.011991
Coherent Models for Object-Oriented Analysis · OOPSLA 1991
Programming languages and type systems
object-oriented programming		 0.011991
Formal Techniques for OO Software Development (Panel) · OOPSLA 1991

Methods — techniques the papers use, named apart from their topics

statecharts · 0.0formal specification · 0.0
YearPublicationVenuePosition
1992 OASIS: An Object-Oriented Specification Language
Oscar Pastor 0001, Fiona Hayes, Stephen Bear
 CAiSE2
1992 Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
abstract
A notation called Objectcharts for specifying object classes is introduced. An Objectchart diagram is an extended form of a Statechart, which characterizes the behavior of a class as a state machine. The Objectchart transitions correspond to the state-changing methods that the class provides and those that it requires of other classes. Object attributes and observer methods annotate Objectchart states. Firing and postconditions are used to specify the effect of transitions on class attributes. The Objectchart notions is described through the development of an alarm clock application. How Objectcharts can be used to find subtyping inheritance relationships between classes and a systematic approach for evolving Objectchart specifications are shown.>
Derek Coleman, Fiona Hayes, Stephen Bear
 IEEE Trans. Software Eng.2
1991 Formal Techniques for OO Software Development (Panel)
abstract
Article Free Access Share on Formal techniques for OO software development Authors: Pierre America Philips Research Laboratories Philips Research LaboratoriesView Profile , Derek Coleman HP-Lab Bristol HP-Lab BristolView Profile , Roger Duke University of Queensland University of QueenslandView Profile , Doug Lea Syracuse University & SUNY-Oswego Syracuse University & SUNY-OswegoView Profile , Gary Leavens Iowa State University Iowa State UniversityView Profile Authors Info & Claims OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applicationsNovember 1991 Pages 166–170https://doi.org/10.1145/117954.117967Published:01 November 1991Publication History 2citation376DownloadsMetricsTotal Citations2Total Downloads376Last 12 Months13Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes
 OOPSLA7
1991 Coherent Models for Object-Oriented Analysis
abstract
Article Free Access Share on Coherent models for object-oriented analysis Authors: Fiona Hayes Hewlett Packard Laboratories, Bristol BS12 6QZ, UK Hewlett Packard Laboratories, Bristol BS12 6QZ, UKView Profile , Derek Coleman Hewlett Packard Laboratories, Bristol BS12 6QZ, UK Hewlett Packard Laboratories, Bristol BS12 6QZ, UKView Profile Authors Info & Claims OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applicationsNovember 1991 Pages 171–183https://doi.org/10.1145/117954.117968Online:01 November 1991Publication History 36citation438DownloadsMetricsTotal Citations36Total Downloads438Last 12 Months9Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Fiona Hayes, Derek Coleman
 OOPSLA1