BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × France
1 × Germany
1 × India
1 × Japan
1 × Poland
1 × The Netherlands
2 × Italy
2 × Sweden
7 × USA
Collaborated with:
J.Mylopoulos N.A.Ernst I.Jureta L.Jiang D.L.McGuinness R.J.Brachman S.J.Greenspan T.Topaloglou P.T.Devanbu D.W.Etherington K.E.Williamson H.K.T.Wong R.Reiter R.Agrawal H.V.Jagadish F.Li J.Horkoff G.Guizzardi L.Liu D.Barone L.A.Resnick B.A.Nixon L.Chung D.Lauzon M.Stanley R.S.S.Guizzardi
Talks about:
data (8) requir (7) model (6) knowledg (4) reason (4) descript (3) languag (3) databas (3) toward (3) specif (3)

Person: Alexander Borgida

DBLP DBLP: Borgida:Alexander

Contributed to:

REFSQ 20152015
RE 20142014
CAiSE 20122012
RE 20112011
RE 20102010
CAiSE 20092009
RE 20072007
RE 20062006
ICSE 19991999
KR 19961996
CIKM 19941994
ICSE 19941994
ICSE 19931993
SIGMOD 19931993
KR 19921992
KR 19891989
PODS 19891989
SIGMOD 19891989
SIGMOD 19881988
SIGMOD 19871987
VLDB 19851985
ICSE 19821982
VLDB 19811981

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.

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.