Person: Alexander Borgida

DBLP: Borgida:Alexander

Contributed to:

2015

2014

2012

2011

2010

2009

2007

2006

1999

1996

1994

1994

1993

1993

1992

1989

1989

1989

1988

1987

1985

1982

1981

Wrote 24 papers:

REFSQ-2015-LiHBG0M #refinement #requirements #specification

From Stakeholder Requirements to Formal Specifications Through Refinement (FLL, JH, AB, GG, LL, JM), pp. 164–180.

RE-2014-LiHMGGB0 #non-functional #ontology #requirements

Non-functional requirements as qualities, with a spice of ontology (FLL, JH, JM, RSSG, GG, AB, LL), pp. 293–302.

CAiSE-2012-ErnstBMJ #agile #evolution #reasoning #requirements

Agile Requirements Evolution via Paraconsistent Reasoning (NAE, AB, JM, IJ), pp. 382–397.

RE-2011-ErnstBJ #evolution #incremental #requirements

Finding incremental solutions for evolving requirements (NAE, AB, IJ), pp. 15–24.

RE-2010-JuretaBEM #consistency #generative #modelling #named #nondeterminism #requirements #towards

Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling (IJ, AB, NAE, JM), pp. 115–124.

CAiSE-2009-JiangBBM #effectiveness #quality

Measuring and Comparing Effectiveness of Data Quality Techniques (LJ, DB, AB, JM), pp. 171–185.

RE-2007-JiangTBM #concept #database #design

Goal-Oriented Conceptual Database Design (LJ, TT, AB, JM), pp. 195–204.

RE-2006-JiangTBM #analysis #biology #case study #data transformation #database #design

Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management (LJ, TT, AB, JM), pp. 196–204.

ICSE-1999-BorgidaD #component #information management #towards

Adding more “DL” to IDL: Towards More Knowledgeable Component Inter-Operability (AB, PTD), pp. 378–387.

KR-1996-BorgidaM #query

Asking Queries about Frames (AB, DLM), pp. 340–349.

CIKM-1994-Borgida #logic #on the

On The Relationship Between Description Logic and Predicate Logic (AB), pp. 219–225.

ICSE-1994-GreenspanMB #modelling #on the #requirements #revisited

On Formal Requirements Modeling Languages: RML Revisited (SJG, JM, AB), pp. 135–147.

ICSE-1993-BorgidaMR #problem #quote #specification

“...And Nothing Else Changes”: The Frame Problem in Procedure Specifications (AB, JM, RR), pp. 303–314.

SIGMOD-1993-BorgidaB

Loading Data into Description Reasoners (AB, RJB), pp. 217–226.

KR-1992-Borgida #development #logic #towards

Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed (AB), pp. 259–269.

KR-1989-BorgidaE #knowledge base #performance #reasoning

Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning (AB, DWE), pp. 33–43.

PODS-1989-Borgida #inheritance #query #strict #type system

Type Systems for Querying Class Hierarchies with Non-strict Inheritance (AB), pp. 394–400.

SIGMOD-1989-AgrawalBJ #knowledge base #performance #scalability #transitive

Efficient Management of Transitive Relationships in Large Data and Knowledge Bases (RA, AB, HVJ), pp. 253–262.

SIGMOD-1989-BorgidaBMR #named

CLASSIC: A Structural Data Model for Objects (AB, RJB, DLM, LAR), pp. 58–67.

SIGMOD-1988-Borgida #modelling

Modeling Class Hierarchies with Contradictions (AB), pp. 434–443.

SIGMOD-1987-NixonCLBMS #case study #compilation #experience #implementation #semantics

Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis (BAN, LC, DL, AB, JM, MS), pp. 118–131.

VLDB-1985-BorgidaW #database #exception #learning

Accommodating Exceptions in Databases, and Refining the Schema by Learning from them (AB, KEW), pp. 72–81.

ICSE-1982-GreenspanMB #requirements #specification

Capturing More World Knowledge in the Requirements Specification (SJG, JM, AB), pp. 225–235.

VLDB-1981-BorgidaW #modelling #proving #semantics

Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory (AB, HKTW), pp. 260–271.