Matches in SemOpenAlex for { <https://semopenalex.org/work/W1550126879> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1550126879 endingPage "52" @default.
- W1550126879 startingPage "36" @default.
- W1550126879 abstract "The goal of this paper is to discuss possibilities of inter-mixing formal and informal specification in order to guide and support the conceptual modeling process in software development. We sketch a framework based on an agent-oriented methodology that provides a modeling language which allows for the definition of both informal and formal specification. We show how formal techniques can be used to guide and support the analyst while building and refining a conceptual model. Examples of its applications are discussed, with reference to the decision making process undertaken by the analyst when performing a set of activities relevant for requirements engineering, such as requirements elicitation and refinement, user validation of requirements specification, or management of requirements evolution. A case study taken from a technology transfer project in the agricultural domain is used to illustrate the approach." @default.
- W1550126879 created "2016-06-24" @default.
- W1550126879 creator A5021820623 @default.
- W1550126879 creator A5036876399 @default.
- W1550126879 creator A5053862435 @default.
- W1550126879 creator A5080392444 @default.
- W1550126879 date "2004-01-01" @default.
- W1550126879 modified "2023-09-23" @default.
- W1550126879 title "Agent-Oriented Modeling by Interleaving Formal and Informal Specification" @default.
- W1550126879 cites W1489391022 @default.
- W1550126879 cites W1518933191 @default.
- W1550126879 cites W1526477318 @default.
- W1550126879 cites W1579842368 @default.
- W1550126879 cites W2054020735 @default.
- W1550126879 cites W2088472639 @default.
- W1550126879 cites W2111877087 @default.
- W1550126879 cites W2130224636 @default.
- W1550126879 cites W2130891285 @default.
- W1550126879 cites W2148734427 @default.
- W1550126879 cites W2502225225 @default.
- W1550126879 doi "https://doi.org/10.1007/978-3-540-24620-6_3" @default.
- W1550126879 hasPublicationYear "2004" @default.
- W1550126879 type Work @default.
- W1550126879 sameAs 1550126879 @default.
- W1550126879 citedByCount "16" @default.
- W1550126879 countsByYear W15501268792015 @default.
- W1550126879 crossrefType "book-chapter" @default.
- W1550126879 hasAuthorship W1550126879A5021820623 @default.
- W1550126879 hasAuthorship W1550126879A5036876399 @default.
- W1550126879 hasAuthorship W1550126879A5053862435 @default.
- W1550126879 hasAuthorship W1550126879A5080392444 @default.
- W1550126879 hasConcept C111498074 @default.
- W1550126879 hasConcept C111919701 @default.
- W1550126879 hasConcept C115903868 @default.
- W1550126879 hasConcept C116253237 @default.
- W1550126879 hasConcept C199360897 @default.
- W1550126879 hasConcept C28034677 @default.
- W1550126879 hasConcept C41008148 @default.
- W1550126879 hasConcept C75606506 @default.
- W1550126879 hasConceptScore W1550126879C111498074 @default.
- W1550126879 hasConceptScore W1550126879C111919701 @default.
- W1550126879 hasConceptScore W1550126879C115903868 @default.
- W1550126879 hasConceptScore W1550126879C116253237 @default.
- W1550126879 hasConceptScore W1550126879C199360897 @default.
- W1550126879 hasConceptScore W1550126879C28034677 @default.
- W1550126879 hasConceptScore W1550126879C41008148 @default.
- W1550126879 hasConceptScore W1550126879C75606506 @default.
- W1550126879 hasLocation W15501268791 @default.
- W1550126879 hasOpenAccess W1550126879 @default.
- W1550126879 hasPrimaryLocation W15501268791 @default.
- W1550126879 hasRelatedWork W1524361563 @default.
- W1550126879 hasRelatedWork W1536552036 @default.
- W1550126879 hasRelatedWork W1548276064 @default.
- W1550126879 hasRelatedWork W1583364777 @default.
- W1550126879 hasRelatedWork W2121507724 @default.
- W1550126879 hasRelatedWork W2156223462 @default.
- W1550126879 hasRelatedWork W2157306459 @default.
- W1550126879 hasRelatedWork W2897842245 @default.
- W1550126879 hasRelatedWork W61995002 @default.
- W1550126879 hasRelatedWork W63592217 @default.
- W1550126879 isParatext "false" @default.
- W1550126879 isRetracted "false" @default.
- W1550126879 magId "1550126879" @default.
- W1550126879 workType "book-chapter" @default.