@inproceedings{easterbrook2001,
  added-at = {2009-07-22T03:31:11.000+0200},
  address = {Toronto},
  author = {Easterbrook, S. and Chechik, M.},
  biburl = {http://www.bibsonomy.org/bibtex/20d33f6e4d9f3ff45b4b5f783269f9522/neilernst},
  booktitle = {International Conference on Software Engineering},
  interhash = {d7567bc06faf77f3b17004a91a816150},
  intrahash = {0d33f6e4d9f3ff45b4b5f783269f9522},
  keywords = {inconsistent model reasoning viewpoints},
  month = {September},
  pages = {411-420},
  publisher = {IEEE Computer Society},
  timestamp = {2009-07-22T03:31:11.000+0200},
  title = {A framework for multi-valued reasoning over inconsistent viewpoints},
  year = 2001
}

@mastersthesis{horkoff06thesis,
  added-at = {2009-07-21T20:48:45.000+0200},
  author = {Horkoff, Jennifer},
  biburl = {http://www.bibsonomy.org/bibtex/23f2c97c5e9dc39d4043eb80ce8b234ad/neilernst},
  interhash = {1e2bb9c935be026cb35557df521f183b},
  intrahash = {3f2c97c5e9dc39d4043eb80ce8b234ad},
  keywords = {evaluation i-star model},
  school = {University of Toronto},
  timestamp = {2009-07-21T20:48:45.000+0200},
  title = {Using i* Models for Evaluation},
  url = {http://www.cs.utoronto.ca/~jenhork/MScThesis/Thesis.pdf},
  year = 2006
}

@inproceedings{DVW07,
  added-at = {2009-05-11T20:55:29.000+0200},
  address = {Amsterdam, The Netherlands},
  author = {van Deursen, Arie and Visser, Eelco and Warmer, Jos},
  biburl = {http://www.bibsonomy.org/bibtex/2e4d66a3a0bc5d72cecfcb3d666720a52/neilernst},
  booktitle = {CSMR Workshop on Model-Driven Software Evolution (MoDSE 2007)},
  editor = {Tamzalit, D.},
  interhash = {95bafc552d5d360e4aa8d742045a6283},
  intrahash = {e4d66a3a0bc5d72cecfcb3d666720a52},
  keywords = {evolution model software},
  month = {March},
  pages = {41--49},
  timestamp = {2009-05-11T20:55:29.000+0200},
  title = {Model-Driven Software Evolution: A Research Agenda},
  url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2007-006.pdf},
  year = 2007
}

@inproceedings{salay09caisequery,
  abstract = {Every model has a purpose and the quality of a model ultimately
measures its fitness relative to this purpose. In practice, models are created in a
piecemeal fashion through the construction of many diagrams that structure a
model into parts that together offer a coherent presentation of the content of the
model. Each diagram also has a purpose – its role in the presentation of the
model - and this determines what part of the model the diagram is intended to
present. In this paper, we investigate what is involved in formally
characterizing this intended content of diagrams as coverage criteria and show
how doing this helps to improve model quality and support automation in the
modeling process. We illustrate the approach and its benefits with a case study
from the telecommunications industry.},
  added-at = {2009-05-07T19:51:22.000+0200},
  address = {Amsterdam},
  author = {Salay, Rick and Mylopoulos, John},
  biburl = {http://www.bibsonomy.org/bibtex/2e53dd86c344da4ef73844bf46e64a1aa/neilernst},
  booktitle = {International Conference on Advanced Information Systems},
  interhash = {f4876ce87fb57600aceadaced0573fd9},
  intrahash = {e53dd86c344da4ef73844bf46e64a1aa},
  keywords = {model query},
  month = {June},
  note = {in press},
  timestamp = {2009-05-07T19:51:22.000+0200},
  title = {Improving Model Quality Using Diagram Coverage Criteria},
  year = 2009
}

@inproceedings{easterbrook01ijcai,
  abstract = {Inconsistency is a pervasive problem in software engineering, where different aspects of a system are described in separate models. Resolving all the inconsistencies in a large set of models is often infeasible, in which case automated reasoning tools based on classical logic have limited application. In 
this paper we describe an automated tool for paraconsistent reasoning, using multi-valued logics. The reasoning engine is an adaptation of classical model checking, and works for any multi-valued logic whose truth values form a quasi-boolean lattice. We describe the design of the model checker, and show how it can be used to reason about models created by merging information from multiple conflicting sources.},
  added-at = {2009-02-04T18:13:55.000+0100},
  address = {Seattle, USA},
  author = {Easterbrook, S. M. and Chechik, M.},
  biburl = {http://www.bibsonomy.org/bibtex/2627bcab10e82caf8906de3c2eec085af/neilernst},
  booktitle = {First International Workshop on Inconsistency in Data and Knowledge, at the International Joint Conference on Artificial Intelligence, (IJCAI-01)},
  interhash = {c9e88dec71e3253b664bf82cc453ac23},
  intrahash = {627bcab10e82caf8906de3c2eec085af},
  keywords = {Model logic reasoning},
  month = {August},
  timestamp = {2009-02-04T18:13:55.000+0100},
  title = {Automated Paraconsistent Reasoning via Model Checking},
  url = {http://www.cs.toronto.edu/~sme/papers/2001/IJCAI01-Wkshp.pdf},
  year = 2001
}

@inproceedings{wenzel08icse,
  abstract = {Model-driven development leads to development processes in which a large number of different versions of models are produced. We present FAME, a tool environment which enables fine-grained analysis of the version history of a model. The tool is generic in the sense that it can work with various model types including UML and domain-specific languages.},
  added-at = {2008-05-29T21:00:17.000+0200},
  author = {Wenzel, Sven and Kelter, Udo},
  biburl = {http://www.bibsonomy.org/bibtex/206dcf71f2a058f95f3cc133d1bee134c/neilernst},
  booktitle = {Intl Conf. on Software Engineering},
  crossref = {conf/icse/2008},
  date = {2008-05-15},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/1368088.1368214},
  interhash = {63a68cf7717273944879e6f430540f13},
  intrahash = {06dcf71f2a058f95f3cc133d1bee134c},
  isbn = {978-1-60558-079-1},
  keywords = {evolution model requirements},
  month = May,
  pages = {831-834},
  timestamp = {2008-05-29T21:00:17.000+0200},
  title = {Analyzing model evolution},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2008.html#WenzelK08},
  year = 2008
}

@inproceedings{wenzel07icsm,
  abstract = {In model-driven engineering developers work mainly or only with models, which exist in many versions. This paper presents an approach to trace single model elements or groups of elements within a version history of a model. It also offers analysis capabilities such as detection of logical coupling between model elements. The approach uses a differencing algorithm blown as SiDiff to identify similar elements in different versions of a model. SiDiff is highly configurable and thus our tracing approach can be adapted to all diagram types of the UML and to a large set of domain specific languages. The approach has been implemented as an Eclipse plug-in that visualizes all relevant information about the traces and it allows developers to interactively explore details. It has been evaluated by several groups of test persons; they considered most of the functions of the tool to be very useful},
  added-at = {2008-05-29T20:38:08.000+0200},
  author = {Wenzel, S. and Hutter, H. and Kelter, U.},
  biburl = {http://www.bibsonomy.org/bibtex/27fed6b9d5ee86952a5c9fc5a41f3cf27/neilernst},
  booktitle = {International Conference on Software Maintenance},
  interhash = {fb27689c031f593ea86feb9784324d82},
  intrahash = {7fed6b9d5ee86952a5c9fc5a41f3cf27},
  keywords = {diff model uml},
  month = {October},
  pages = {104-113},
  timestamp = {2008-05-29T20:38:08.000+0200},
  title = {Tracing Model Elements},
  url = {http://dx.doi.org/10.1109/ICSM.2007.4362623},
  year = 2007
}

@article{bernstein99is,
  abstract = {Microsoft Repository is an object-oriented meta-data management facility that ships in Microsoft Visual Studio and Microsoft SQL Server. It includes two main components: - - A repository engine that implements a set of object-oriented interfaces on top of a SQL database system. A developer can use these interfaces to define information models (i.e., schemas) and manipulate instances of the models.- - The Open Information Model, which is a set of information models that cover object modeling, database modeling, and component reuse. The repository system is designed to meet the persistent storage needs of software tools. Its main technical goals are: - - Compatibility with Microsoft's Component Object Model (COM) architecture- - Extensibility by customers and independent software vendors, so they can add behavior to objects stored by the repository engine and extend information models provided by Microsoft and others.- - Flexible and efficient versioning, configuration management, and checkout/checkin to support team-oriented activities. This paper describes the programming interface and implementation of the repository engine and the Open Information Model.},
  added-at = {2008-04-28T17:42:32.000+0200},
  author = {Bernstein, Philip A. and Bergstraesser, Thomas and Carlson, Jason and Pal, Shankar and Sanders, Paul and Shutt, David},
  biburl = {http://www.bibsonomy.org/bibtex/2fe254bec82e3dd5510e0a4aff89f2cb1/neilernst},
  booktitle = {Meta-Modelling and Methodology Engineering},
  interhash = {4703eeca1e95c522fbddf356087ed525},
  intrahash = {fe254bec82e3dd5510e0a4aff89f2cb1},
  journal = {Information Systems},
  keywords = {Database Information Model Object-Oriented Repository Versions},
  month = {#apr#},
  number = 2,
  pages = {71--98},
  timestamp = {2008-04-28T17:42:32.000+0200},
  title = {Microsoft repository version 2 and the open information model,},
  url = {http://www.sciencedirect.com/science/article/B6V0G-3WXWT2B-7/1/95e240d9f7b75f37b0adbcabdfe34295},
  volume = 24,
  year = 1999
}

@article{boehm07crosstalk,
  abstract = {One of the top recommendations to emerge from the October 2006 Deputy Under Secretary of Defense (DUSD)
Acquisition, Technology, and Logistics (ATL) Defense Software Strategy Summit was to find ways of better integrating software
engineering into the systems engineering and acquisition process. Concurrently, the National Research Council (NRC)
study was addressing the problem of better integrating human factors into the systems engineering and acquisition process.
This article presents a model that emerged from these and related efforts that shows promise of improving integrations. This
model, called the Incremental Commitment Model (ICM), organizes systems engineering and acquisition processes in ways
that better accommodate the different strengths and difficulties of hardware, software, and human factors of engineering
approaches. It also provides points at which they can synchronize and stabilize, and at which their risks of going forward can
be better assessed and fitted into a risk-driven stakeholder resource commitment process.},
  added-at = {2008-04-03T21:06:12.000+0200},
  author = {Boehm, Barry and Lane, Jo Ann},
  biburl = {http://www.bibsonomy.org/bibtex/2febce57c432f73f2dcae34f0d14c330c/neilernst},
  interhash = {307921b0c3552317656cf9941e77646a},
  intrahash = {febce57c432f73f2dcae34f0d14c330c},
  journal = {Crosstalk: Journal of Defence Software Engineering},
  keywords = {engineering model system},
  month = {October},
  timestamp = {2008-04-03T21:06:12.000+0200},
  title = {Using the Incremental Commitment Model to Integrate System Acquisition, Systems Engineering, and Software Engineering},
  url = {http://www.stsc.hill.af.mil/crosstalk/2007/10/0710BoehmLane.pdf},
  year = 2007
}

@inproceedings{mehrdad07re,
  added-at = {2008-01-30T04:30:30.000+0100},
  address = {New Delhi, India},
  author = {Sabetzadeh, Mehrdad and Nejati, Shiva and Liaskos, Sotirios and Easterbrook, Steve and Chechik, Marsha},
  biburl = {http://www.bibsonomy.org/bibtex/2be5a7547c8bb11fb674f3aaed74b03d7/neilernst},
  booktitle = {International Conference on Requirements Engineering },
  interhash = {6e3929ef2f648becfba18488accc7d85},
  intrahash = {be5a7547c8bb11fb674f3aaed74b03d7},
  keywords = {conceptual consistency merging model},
  month = {October},
  timestamp = {2008-01-30T04:30:30.000+0100},
  title = {Consistency Checking of Conceptual Models via Model Merging},
  url = {http://www.cs.toronto.edu/~mehrdad/pub/RE07.pdf},
  year = 2007
}

@inproceedings{sneed07modse,
  abstract = {This short paper is an essay on the drawbacks of model
driven software evolution which apply equally well to
model driven software development. The idea of
automatically generating code changes from a UML
type model is equally enticing as that of automatically
generating whole components from such a model. The
drawback is that there is then nothing to test against,
since there is only one description of the system, the
model. This violates the principles of software
verification and validation, according to which
correctness can only be demonstrated by comparing
two independent descriptions of the same solution. For
this reason, the author proposes another interpretation
of model driven evolution, one in which the
requirements model serves as a basis for propagating
changes to both the code and the test, along two
independent paths. The UML type system design could
then be generated from the code and not [vice] versa},
  added-at = {2008-01-29T16:00:26.000+0100},
  address = {Amsterdam},
  author = {Sneed, Harry},
  biburl = {http://www.bibsonomy.org/bibtex/20194bcfa92f21ac8ea1a6eae482d5cb2/neilernst},
  booktitle = {Workshop on Model-Driven Software Evolution at CSMR},
  interhash = {207867f184bd6af02fa9059b0401ea37},
  intrahash = {0194bcfa92f21ac8ea1a6eae482d5cb2},
  keywords = {Software evolution model},
  month = {March},
  timestamp = {2008-01-29T16:00:26.000+0100},
  title = {The Drawbacks of Model-Driven Software Evolution},
  url = {http://www.sciences.univ-nantes.fr/MoDSE2007/p9.pdf},
  year = 2007
}

@inproceedings{aranda07icse,
  abstract = {If designers of modelling languages want their
creations to be used in real software projects, the
communication qualities of their languages need to be
evaluated, and their proposals must evolve as a result
of these evaluations. A key quality of communication
artifacts is their comprehensibility. We present a
flexible framework to evaluate the comprehensibility of
model representations that is grounded on the
underlying theory of the language to be evaluated, and
on theoretical frameworks in cognitive science.},
  added-at = {2008-01-16T02:46:44.000+0100},
  address = {Minneapolis, USA},
  author = {Aranda, Jorge and Ernst, Neil A. and Horkoff, Jennifer and Easterbrook, S. M.},
  biburl = {http://www.bibsonomy.org/bibtex/254f52b25733dc0470387774affa58810/neilernst},
  booktitle = {International Workshop on Modeling in Software Engineering at ICSE},
  interhash = {3e0ea661f48af0c941ea6a950ff5bfb3},
  intrahash = {54f52b25733dc0470387774affa58810},
  keywords = {cognition framework model personal},
  month = May,
  timestamp = {2008-01-16T02:46:44.000+0100},
  title = {A Framework for Empirical Evaluation of Model Comprehensibility},
  url = {http://www.cs.toronto.edu/~jaranda/pubs/Aranda-MiSE2007.pdf},
  year = 2007
}

@inproceedings{w_lam_requirements_1998,
  abstract = {Requirements evolve, not only during system development but also after a system has been installed. The aim of the work on the EVE (EVolution Engineering) project is to develop practi-cal methods for dealing with requirements evolution. This pa-per presents the early output from our work-the EVE frame-work for requirements evolution. The EVE framework is com-prised of two components: a meta-model and an associated process model. The EVE meta-model captures a set of model-ling concepts in requirements evolution, including change, impact, risk and viewpoint. The EVE process model provides technologists with a framework for handling the emergence of new or changing requirements during the lifetime of a system. The paper illustrates the EVE framework on a simple example, and highlights the importance of social and environmental re-sponsibility in requirements evolution.},
  added-at = {2008-01-04T22:43:42.000+0100},
  address = {Florence, Italy},
  author = {Lam, W. and Loomes, M.},
  biburl = {http://www.bibsonomy.org/bibtex/201f1ebd9c0df9c02f2851cf1ebcd27d5/neilernst},
  booktitle = {Euromicro Conference on Software Maintenance and Reengineering},
  description = {zotero},
  interhash = {04820b074f4883e1264213611398d284},
  intrahash = {01f1ebd9c0df9c02f2851cf1ebcd27d5},
  keywords = {Requirements change evolution model},
  month = {March},
  note = {Requirements evolve, not only during system development but also after a system has been installed. The aim of the work on the EVE (EVolution Engineering) project is to develop practi-cal methods for dealing with requirements evolution. This pa-per presents the early output from our work-the EVE frame-work for requirements evolution. The EVE framework is com-prised of two components: a meta-model and an associated process model. The EVE meta-model captures a set of model-ling concepts in requirements evolution, including change, impact, risk and viewpoint. The EVE process model provides technologists with a framework for handling the emergence of new or changing requirements during the lifetime of a system. The paper illustrates the EVE framework on a simple example, and highlights the importance of social and environmental re-sponsibility in requirements evolution.},
  pages = {121-127},
  publisher = {IEEE},
  timestamp = {2008-01-04T22:43:42.000+0100},
  title = {Requirements Evolution in the Midst of Environmental Change: A Managed Approach},
  url = {http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=665774},
  year = 1998
}

@inproceedings{brunet06,
  abstract = {If a modeling task is distributed, it will frequently be neces-
sary to merge models developed by dierent team members.
Existing approaches to model merging make assumptions
about the types of model to be merged, and the nature of the
relationship between them. This makes it hard to compare
approaches. In this paper, we present a manifesto for re-
search on model merging. We propose a framework for com-
paring dierent approaches to merging, by treating merge as
an algebraic operator over models and model relationships.
We specify the algebraic properties of an idealized merge
operator, as well as related operators such as match, di,
split, and slice. We then show how our framework can be
used to compare existing approaches by applying it to two of
our own research projects on model merging. We show how
this analysis permits a detailed comparison of approaches,
reveals the key features of each, and identies weaknesses
that require further research. Most importantly, the frame-
work emphasizes the need to make explicit all assumptions
about the relationships between models, and indeed to treat
model relationships as rst class objects.},
  added-at = {2008-01-03T21:51:56.000+0100},
  address = {Shanghai, China},
  author = {Brunet, G. and Chechik, M. and Easterbrook, S. M. and Nejati, S. and Niu, N. and Sabetzadeh, M.},
  biburl = {http://www.bibsonomy.org/bibtex/27518dbc82f02617833f04532a4ffce39/neilernst},
  booktitle = {Workshop on Global Integrated Model Management (GaMMa'06) at the 28th International Conference on Software Engineering},
  description = {Contains Steve's operators for model management},
  editor = {., 20-28 May 2006.},
  interhash = {74e7290cf1565881f267b6c503389a39},
  intrahash = {7518dbc82f02617833f04532a4ffce39},
  keywords = {merging model},
  month = May,
  timestamp = {2008-01-03T21:51:56.000+0100},
  title = {A Manifesto for Model Merging},
  url = {http://www.cs.toronto.edu/~sme/papers/2006/GaMMa06-Brunet.pdf},
  year = 2006
}

@article{almeida07,
  abstract = {The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between
requirements and the various models. This paper proposes a methodological framework that simplifies management of this relationship,which helps in assessing the quality of models, realizations and transformation specifications. Our framework is a basis for understanding requirements traceability in model-driven development, as well as for the design of tools that support requirements traceability in model-driven development processes. We propose a notion of conformance between application models which reduces the effort needed for assessment activities. We discuss how this notion of conformance can be integrated with model transformations.},
  added-at = {2007-12-31T17:44:01.000+0100},
  author = {Almeida, João and Iacob, Maria-Eugenia and van Eck, Pascal},
  biburl = {http://www.bibsonomy.org/bibtex/29f9b7dd0295eb686415b2333f43bb3f1/neilernst},
  interhash = {99e2d62315242588bce8db1b45256938},
  intrahash = {9f9b7dd0295eb686415b2333f43bb3f1},
  journal = {Information Systems Frontiers},
  keywords = {model requirements traceability},
  month = {#sep#},
  number = 4,
  pages = {327--342},
  timestamp = {2007-12-31T17:44:01.000+0100},
  title = {Requirements traceability in model-driven development: Applying model and transformation conformance},
  url = {http://dx.doi.org/10.1007/s10796-007-9038-3},
  volume = 9,
  year = 2007
}

@inproceedings{yu05b,
  abstract = {A reverse engineering process aims at reconstructing high-level abstractions from source code. This paper presents a novel reverse engineering methodology for recovering stakeholder goal models from both structured and unstructured legacy code. The methodology consists of the following major steps: 1) Refactoring source code by extracting methods based on comments; 2) Converting the refactored code into an abstract structured program through statechart refactoring and hammock graph construction; 3) Extracting a goal model from the structured program's abstract syntax tree; 4) Identifying nonfunctional requirements and derive soft goals based on the traceability between the code and the goal model. To illustrate this requirements recovery process, we refactor stakeholder goal models from two legacy software code bases: an unstructured Web-based email in PHP (SquirrelMail) and a structured email client system in Java (Columba).},
  added-at = {2007-11-30T22:40:27.000+0100},
  author = {Yu, Yijun and Wang, Yiqiao and Mylopoulos, J. and Liaskos, S. and Lapouchnian, A.},
  biburl = {http://www.bibsonomy.org/bibtex/260f04df74fd1fc45813dc22dbf90a603/neilernst},
  booktitle = {International Conference on Requirements Engineering},
  citeulike-article-id = {500920},
  comment = {- would make a good idea for a thesis proposal},
  description = {sdasda},
  interhash = {1656f07934bd817654de5834ec8ae7e2},
  intrahash = {60f04df74fd1fc45813dc22dbf90a603},
  keywords = {evolution goal model requirements reverse},
  pages = {363--372},
  priority = {0},
  timestamp = {2007-11-30T22:40:27.000+0100},
  title = {Reverse engineering goal models from legacy code},
  url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1531056},
  year = 2005
}

@misc{shiva_nejati_matching_2007,
  abstract = {Model Management addresses the problem of managing
an evolving collection of models, by capturing the relationships
between models and providing well-defined operators
to manipulate them. In this paper, we describe two
such operators for manipulating hierarchical Statecharts:
Match, for finding correspondences between models, and
Merge, for combining models with respect to known correspondences
between them. Our Match operator is heuristic,
making use of both static and behavioural properties
of the models to improve the accuracy of matching. Our
Merge operator preserves the hierarchical structure of the
input models, and handles differences in behaviour through
parameterization. In this way, we automatically construct
merges that preserve the semantics of Statecharts models.
We illustrate and evaluate our work by applying our operators
to AT\&T telecommunication features.},
  added-at = {2007-10-19T18:55:16.000+0200},
  author = {Nejati, Shiva and Sabetzadeh, Mehrdad and Chechik, Marsha and Easterbrook, Steven and Zave, Pamela},
  biburl = {http://www.bibsonomy.org/bibtex/263643e3c220cc708d4e4711231a66c9a/neilernst},
  description = {zotero},
  interhash = {a8a765c412197c88013fe1c924baacee},
  intrahash = {63643e3c220cc708d4e4711231a66c9a},
  keywords = {merge model statecharts},
  month = May,
  note = {Model Management addresses the problem of managing
an evolving collection of models, by capturing the relationships
between models and providing well-defined operators
to manipulate them. In this paper, we describe two
such operators for manipulating hierarchical Statecharts:
Match, for finding correspondences between models, and
Merge, for combining models with respect to known correspondences
between them. Our Match operator is heuristic,
making use of both static and behavioural properties
of the models to improve the accuracy of matching. Our
Merge operator preserves the hierarchical structure of the
input models, and handles differences in behaviour through
parameterization. In this way, we automatically construct
merges that preserve the semantics of Statecharts models.
We illustrate and evaluate our work by applying our operators
to AT\&T telecommunication features.},
  timestamp = {2007-10-19T18:55:16.000+0200},
  title = {Matching and Merging of Statecharts Specifications},
  type = {text},
  url = {http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/\&toc=comp/proceedings/icse/2007/2828/00/2828toc.xml\&DOI=10.1109/ICSE.2007.50},
  year = 2007
}

@article{king_evolution_1984,
  abstract = {Richard Nolan's stage model is the best known and most widely cited model of computing evolution in organizations. The model's development over a decade demonstrates its own evolution from a simple theory, based on the factoring of change states indicated by changes in computing budgets, to an elaborate account of the characteristics of six stages of computing growth. An analysis of the model's logical and empirical structure reveals a number of problems in its formulation that help to account for the fact that its principal tenets have not been independently validated. The model is shown to be an ?evolutionistic? theory within the theories of evolution in the social sciences, focusing on assumed directions of growth and an implied end state toward which growth proceeds, and suffering from problems inherent in such theories. Further research based on an ?evolutionary? view of computing growth is suggested as a means of improving theories of computing in organizations.},
  added-at = {2007-10-19T18:55:16.000+0200},
  author = {King, John Leslie and Kraemer, Kenneth L.},
  biburl = {http://www.bibsonomy.org/bibtex/26e39f1dd1112b852b356b6a43ca57103/neilernst},
  description = {zotero},
  interhash = {45731282faf9f004b28d50a036548f25},
  intrahash = {6e39f1dd1112b852b356b6a43ca57103},
  keywords = {computing, computing,nolan's evolution model of stages},
  month = May,
  pages = {466-475 },
  timestamp = {2007-10-19T18:55:16.000+0200},
  title = {Evolution and organizational information systems: an assessment of Nolan's stage model },
  volume = {27 },
  year = 1984
}

@article{dardenne93,
  abstract = {Requirements analysis includes a preliminary acquisition step where a global model for the specification of the system and its environment is elaborated. This model, called requirements model, involves concepts that are currently not supported by existing formal specification languages, such as goals to be achieved, agents to be assigned, alternatives to be negotiated, etc. The paper presents an approach to requirements acquisition which is driven by such higher-level concepts. Requirements models are acquired as instances of a conceptual meta-model. The latter can be represented as a graph where each node captures an abstraction such as, e.g., goal, action, agent, entity, or event, and where the edges capture semantic links between such abstractions. Well-formedness properties on nodes and links constrain their instances--that is, elements of requirements models. Requirements acquisition processes then correspond to particular ways of traversing the meta-model graph to acquire appropriate instances of the various nodes and links according to such constraints. Acquisition processes are governed by strategies telling which way to follow systematically in that graph; at each node specific tactics can be used to acquire the corresponding instances. The paper describes a significant portion of the meta-model related to system goals, and one particular acquisition strategy where the meta-model is traversed backwards from such goals. The meta-model and the strategy are illustrated by excerpts of a university library system.},
  added-at = {2007-06-09T18:08:11.000+0200},
  author = {Dardenne, Anne and van Lamsweerde, Axel and Fickas, Stephen},
  biburl = {http://www.bibsonomy.org/bibtex/2b29a6a271fc1d4f991acb0092c770350/neilernst},
  doi = {10.1016/0167-6423(93)90021-G},
  interhash = {e02367b8d65010ab6a1a157ad16d966f},
  intrahash = {b29a6a271fc1d4f991acb0092c770350},
  journal = {Science of Computer Programming},
  keywords = {goal kaos model requirements},
  month = {April},
  number = {1-2},
  pages = {3--50},
  timestamp = {2007-06-09T18:08:11.000+0200},
  title = {Goal-directed requirements acquisition},
  url = {http://portal.acm.org/citation.cfm?id=156032},
  volume = 20,
  year = 1993
}

@inproceedings{yu97a,
  abstract = {Requirements are usually understood as stating what a system is supposed to do, as apposed to how it should do it. However, understanding the organizational context and rationales (the “Whys”) that lead up to systems requirements can be just as important for the ongoing success of the system. Requirements modelling techniques can be used to help deal with the knowledge and reasoning needed in this earlier phase of requirements engineering. However most existing requirements techniques are intended more for the later phase of requirements engineering, which focuses on completeness, consistency, and automated verification of requirements. In contrast, the early phase aims to model and analyze stakeholder interests and how they might be addressed, or compromised, by various system-and-environment alternatives. This paper argues, therefore, that a different kind of modelling and reasoning support is needed for the early phase. An outline of the i* framework is given as an example of a step in this direction. Meeting scheduling is used as a domain example},
  added-at = {2007-03-02T22:56:50.000+0100},
  address = {Annapolis, Maryland},
  author = {Yu, Eric S.},
  biburl = {http://www.bibsonomy.org/bibtex/2179d71111ee7829c6d2be29f5022ee72/neilernst},
  booktitle = {International Symposium on Requirements Engineering},
  citeulike-article-id = {166377},
  description = {sdasda},
  interhash = {87830931e0f5a2a338c71143147ba18d},
  intrahash = {179d71111ee7829c6d2be29f5022ee72},
  keywords = {i-star model requirements software 1406},
  pages = {226--235},
  priority = {0},
  timestamp = {2007-03-02T22:56:50.000+0100},
  title = {Towards modelling and reasoning support for early-phase requirements engineering},
  url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=566873},
  year = 1997
}