![Mathematical logic / Systems engineering / Software requirements / Process management / Process modeling / Ontology / Scientific modelling / Conceptual model / Cyc / Science / Logic / Predicate logic Mathematical logic / Systems engineering / Software requirements / Process management / Process modeling / Ontology / Scientific modelling / Conceptual model / Cyc / Science / Logic / Predicate logic](https://www.pdfsearch.io/img/4c1800d87323a80067ce093bd7a65337.jpg)
| Document Date: 2007-09-28 01:15:47 Open Document File Size: 153,11 KBShare Result on Facebook
City Sommerville / / Country United Kingdom / / Facility City University Northampton Square / / IndustryTerm classical unification algorithms / software development process / large software systems / software engineering knowledge / software model / software development team / software processes / software models / Inconsistent software models / unification algorithms / constructed software models / information management / resource management software system / software system quality attributes / software requirements / software development life cycle / software engineering practices / inconsistency management / software development life-cycle / software architectures / software engineering community / software systems / approach search / / Organization City University / Andrea Zisman Department of Computing / / Person George Spanoudakis / Andrea Zisman / / Position supervisor / tutor / personal_tutor / project_supervisor / / ProgrammingLanguage R / / Technology classical unification algorithms / unification algorithms / /
SocialTag |