- Goal-Oriented Conceptual Database Design Lei Jiang Thodoros Topaloglou Alex Borgida John Mylopoulos
- December 1983 Features of Languages for the
- F 2003 ABorgida 1 Information Integration
- A Semantic Approach to Schema Mapping University of Toronto
- Adding more "DL" to IDL: towards more knowledgeable component inter-operability
- Tolerating Exceptions in Work ows: a Uni ed Framework for Data and Processes
- Description Logics in Data Management Alexander Borgiday
- Asking Queries about Frames Alexander Borgida and Deborah L. McGuinness
- Explaining Subsumption in Description Logics Deborah L. McGuinness
- On the Frame Problem in Procedure Specifications1 Alex Borgida2
- On Formal Requirements Modeling Languages: RML Revisited Invited Plenary Talk
- Sp'11 ABorgida 1 Logic-based
- Sp'11 A.Borgida 1 Relational Databases
- Ramakrishnan & Gehrke/Borgida 1 The Relational Model of Data
- Ramakrishnan & Gehrke/Borgida 1 Relational Query Optimization
- Description Logics Alexander Borgida
- To appear in Artificial Intelligence Journal On the Relative Expressiveness of
- Database Management Systems 3ed, R. Ramakrishnan and J. Gehrke 1 Internet Applications
- F 2003 ABorgida 1 Developing Ontologies
- S 2006 ABorgida 1 Concept Languages /
- Language Features for Flexible Handling of Exceptions in Information Systems
- 198:431 Software Engineering Project Information August 26, 2010
- Fa10 ABorgida 1 User Interface Design
- CS541 F'03 Suciu/Borgida 1 Storing XML in a Relational DB
- 336 F'07 A.Borgida 1 Entity Relationship Diagrams
- Suciua/Ramakrishnan/ Gehrke/Borgida 1 XML & Semi-Structured Data
- 431 S'06 ABorgida! 1! Abstract Datatype + Iterator Modules!
- UML --1! 2005 A.Borgida Object Modeling:Object Modeling
- UML --1 2006 A.Borgida Example: ATMExample: ATM
- From Proceedings 1993 ACM SIGMOD Intern. Con ference on Management of Data, Washington, DC.,
- How Knowledge Representation meets Software Engineering (and often Databases)
- 431 S'06 ABorgida 1 Requirements Specification
- 2006 Easterbrook/Borgida 1 Software Architectures
- 431 S'06 ABorgida! 1! Abstract Datatype + Iterator Module!
- 431 S'06 ABorgida! 10! e.g.2, Managing a list of persons !
- 431 F'05 ABorgida 1 431 F'05 ABorgida 2
- Finding Semantic Mappings from Relational Tables to Ontologies/Conceptual Models
- Bob TarrDesign Patterns In Java The Proxy Pattern
- Propositional Logic 2! Lecture slides based on those provided by!
- Matuszek, UPenn Reason for changes
- Specification of Fortran DIMENSION DIMENSION statement is used to specify the
- Lecture notes on program correctness file:///fac/users/borgida/public_html/SE/SE-Verific/AB-VC-verif.html 1 of 6 11/11/2008 01:03 PM
- UsingUML,Patterns,andJava! Object-OrientedSoftwareEngineering!
- Fa'2011 ABorgida 1 Arguing for program correctness
- 431 S'06 ABorgida 21 e.g.2, Managing a list of persons
- Fa'2011 ABorgida 1 Arguing for program correctness
- ABorgida/Rosen 1 Rules of inferences and Proofs with them
- NOTES ON REGULAR LANGUAGES Alexander Borgida
- 431 S'06 ABorgida 1 Abstract Datatype + Iterator Modules
- Glossary of Z notation , identifiers
- Verification of Finding Max Alex Borgida
- ABorgida/Rosen 1 Rules of inferences and Proofs with them
- (K. Rosen notes for Ch. 1.4,1.5 corrected and enlarged by A.Borgida)
