@article{Lamsweerde:1998,
	Author = {van Lamsweerde, A. and Willemet, L.},
	Doi = {10.1109/32.738341},
	Issn = {0098-5589},
	Journal = {Software Engineering, IEEE Transactions on},
	Keywords = {bibliographies;formal specification;inference mechanisms;learning (artificial intelligence);program verification;specification languages;systems analysis;temporal logic;KAOS goal based specification language;KAOS methodology;alternative scenarios;conflict analysis;consistency/completeness analysis;declarative requirements specification inference;examples/counterexamples;formal analysis;formal method;formal specifications;goal based requirements engineering;goal specifications;higher level goals;interaction scenarios;interaction steps;learning algorithm;obstacle analysis;operational scenarios;output language;positive scenarios;requirements elicitation;scenario based inference;scenario descriptions;software requirements;stakeholders;system goals;system usage;temporal logic;Concrete;Formal specifications;Humans;Interconnected systems;Logic;Object oriented modeling;Problem-solving;Software agents;Specification languages;Terminology},
	Month = {Dec},
	Number = {12},
	Pages = {1089-1114},
	Title = {Inferring declarative requirements specifications from operational scenarios},
	Volume = {24},
	Year = {1998},
	Bdsk-Url-1 = {http://dx.doi.org/10.1109/32.738341}}

{"_id":"yftcdkHWh3YMNj2Lg","bibbaseid":"vanlamsweerde-willemet-inferringdeclarativerequirementsspecificationsfromoperationalscenarios-1998","downloads":0,"creationDate":"2016-07-28T14:19:17.318Z","title":"Inferring declarative requirements specifications from operational scenarios","author_short":["van Lamsweerde, A.","Willemet, L."],"year":1998,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/2237578/bibliografia.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":["van"],"lastnames":["Lamsweerde"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Willemet"],"firstnames":["L."],"suffixes":[]}],"doi":"10.1109/32.738341","issn":"0098-5589","journal":"Software Engineering, IEEE Transactions on","keywords":"bibliographies;formal specification;inference mechanisms;learning (artificial intelligence);program verification;specification languages;systems analysis;temporal logic;KAOS goal based specification language;KAOS methodology;alternative scenarios;conflict analysis;consistency/completeness analysis;declarative requirements specification inference;examples/counterexamples;formal analysis;formal method;formal specifications;goal based requirements engineering;goal specifications;higher level goals;interaction scenarios;interaction steps;learning algorithm;obstacle analysis;operational scenarios;output language;positive scenarios;requirements elicitation;scenario based inference;scenario descriptions;software requirements;stakeholders;system goals;system usage;temporal logic;Concrete;Formal specifications;Humans;Interconnected systems;Logic;Object oriented modeling;Problem-solving;Software agents;Specification languages;Terminology","month":"Dec","number":"12","pages":"1089-1114","title":"Inferring declarative requirements specifications from operational scenarios","volume":"24","year":"1998","bdsk-url-1":"http://dx.doi.org/10.1109/32.738341","bibtex":"@article{Lamsweerde:1998,\n\tAuthor = {van Lamsweerde, A. and Willemet, L.},\n\tDoi = {10.1109/32.738341},\n\tIssn = {0098-5589},\n\tJournal = {Software Engineering, IEEE Transactions on},\n\tKeywords = {bibliographies;formal specification;inference mechanisms;learning (artificial intelligence);program verification;specification languages;systems analysis;temporal logic;KAOS goal based specification language;KAOS methodology;alternative scenarios;conflict analysis;consistency/completeness analysis;declarative requirements specification inference;examples/counterexamples;formal analysis;formal method;formal specifications;goal based requirements engineering;goal specifications;higher level goals;interaction scenarios;interaction steps;learning algorithm;obstacle analysis;operational scenarios;output language;positive scenarios;requirements elicitation;scenario based inference;scenario descriptions;software requirements;stakeholders;system goals;system usage;temporal logic;Concrete;Formal specifications;Humans;Interconnected systems;Logic;Object oriented modeling;Problem-solving;Software agents;Specification languages;Terminology},\n\tMonth = {Dec},\n\tNumber = {12},\n\tPages = {1089-1114},\n\tTitle = {Inferring declarative requirements specifications from operational scenarios},\n\tVolume = {24},\n\tYear = {1998},\n\tBdsk-Url-1 = {http://dx.doi.org/10.1109/32.738341}}\n\n","author_short":["van Lamsweerde, A.","Willemet, L."],"key":"Lamsweerde:1998","id":"Lamsweerde:1998","bibbaseid":"vanlamsweerde-willemet-inferringdeclarativerequirementsspecificationsfromoperationalscenarios-1998","role":"author","urls":{},"keyword":["bibliographies;formal specification;inference mechanisms;learning (artificial intelligence);program verification;specification languages;systems analysis;temporal logic;KAOS goal based specification language;KAOS methodology;alternative scenarios;conflict analysis;consistency/completeness analysis;declarative requirements specification inference;examples/counterexamples;formal analysis;formal method;formal specifications;goal based requirements engineering;goal specifications;higher level goals;interaction scenarios;interaction steps;learning algorithm;obstacle analysis;operational scenarios;output language;positive scenarios;requirements elicitation;scenario based inference;scenario descriptions;software requirements;stakeholders;system goals;system usage;temporal logic;Concrete;Formal specifications;Humans;Interconnected systems;Logic;Object oriented modeling;Problem-solving;Software agents;Specification languages;Terminology"],"downloads":0},"search_terms":["inferring","declarative","requirements","specifications","operational","scenarios","van lamsweerde","willemet"],"keywords":["bibliographies;formal specification;inference mechanisms;learning (artificial intelligence);program verification;specification languages;systems analysis;temporal logic;kaos goal based specification language;kaos methodology;alternative scenarios;conflict analysis;consistency/completeness analysis;declarative requirements specification inference;examples/counterexamples;formal analysis;formal method;formal specifications;goal based requirements engineering;goal specifications;higher level goals;interaction scenarios;interaction steps;learning algorithm;obstacle analysis;operational scenarios;output language;positive scenarios;requirements elicitation;scenario based inference;scenario descriptions;software requirements;stakeholders;system goals;system usage;temporal logic;concrete;formal specifications;humans;interconnected systems;logic;object oriented modeling;problem-solving;software agents;specification languages;terminology"],"authorIDs":[],"dataSources":["iDjj3P8hS2bETXLYW"]}