{"title":"Early elicitation and definition of requirements for an interactive multimedia information system","authors":"S. Jones, C. Britton","doi":"10.1109/ICRE.1996.491425","DOIUrl":"https://doi.org/10.1109/ICRE.1996.491425","url":null,"abstract":"The literature on requirements engineering contains little in the way of either theoretical guidance or empirical case studies relating to the specification of requirements for interactive multimedia information systems. This paper describes some of the special difficulties currently encountered in the early stages of developing such systems. It then presents a description of the methods and tools used in the early stages of the MARS project, whose aim is to develop an interactive multimedia system for use in school-based health education and anti-smoking campaigns directed at children aged 9-10. The paper ends with a discussion of lessons learnt with respect to some current issues in requirements engineering, and considers the extent to which the particular problems identified earlier in the paper were addressed by the methods and tools used in the MARS project. We conclude that further work in this area is badly needed, so that better guidance on the specification of requirements for interactive multimedia information systems can be given in future.","PeriodicalId":152956,"journal":{"name":"Proceedings of the Second International Conference on Requirements Engineering","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126884838","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Parasitic languages for requirements","authors":"Mike Hill","doi":"10.1109/ICRE.1996.491431","DOIUrl":"https://doi.org/10.1109/ICRE.1996.491431","url":null,"abstract":"Computer modelling is a viable method for aiding requirements elicitation of future systems as it provides a mechanism for understanding and consolidating ideas which people can readily relate to. However a major drawback with a computer model is the capturing of its requirements for future contractual use. We put forward a method by which requirement statements can be attributed within models that allows for post compilation extraction and analysis. This approach is based on adding a parasitic language to a modelling language which strongly couples requirements to items of code, but which is transparent to the dynamic execution of the model. The paper illustrates the approach on a simple language and discusses how the approach has been incorporated within a large system modelling language. The ability to provide direct links to requirement management repositories is shown.","PeriodicalId":152956,"journal":{"name":"Proceedings of the Second International Conference on Requirements Engineering","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123199950","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A facilitator method for upstream design activities with diverse stakeholders","authors":"R. Gonzales, A. Wolf","doi":"10.1109/ICRE.1996.491444","DOIUrl":"https://doi.org/10.1109/ICRE.1996.491444","url":null,"abstract":"The paper presents a method that can be used for the elicitation and specification of requirements and high level design. It supports stakeholder based modeling, rapid feasibility feed back to marketing, and the interpersonal dynamics that are necessary to develop a product. The method centers on the role of the facilitator, an independent agent whose purpose is to build the Integrated System Model (ISM). The ISM is the result of merging the independent system views from all stakeholders at any given abstraction level. Formulation of this method was based on the real world experience of developing a complex, high technology medical product with critical time to market pressures. It has proven to be a practical approach to the evolution of requirements definition and provides a necessary link to the marketing aspect of a product.","PeriodicalId":152956,"journal":{"name":"Proceedings of the Second International Conference on Requirements Engineering","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132294908","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Combined analysis of user interface and domain requirements","authors":"G. Kösters, H. Six, J. Voss","doi":"10.1109/ICRE.1996.491445","DOIUrl":"https://doi.org/10.1109/ICRE.1996.491445","url":null,"abstract":"A requirements analysis method called FLUID is proposed which in contrast to conventional methods explicitly captures the requirements of direct manipulation user interfaces. The main concepts addressing the user interface requirements comprise a task model and a UIA model. The latter reveals the essential structure of the user interface and defines the basic dialog behavior, the presentation of domain model components on the screen, and links to the domain model. User interface requirements are described on a level of abstraction similar to that of conventional requirements, e.g. details of screen layout and dialog behavior are deferred to later development stages. The result of the entire requirements analysis-a combination of domain model and UIA model-serves as a basis for the further development process. The method also provides for (semi) automatic generation of user interface prototypes at intermediate stages of the analysis.","PeriodicalId":152956,"journal":{"name":"Proceedings of the Second International Conference on Requirements Engineering","volume":"153 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121873020","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An assessment of the applicability of object-oriented analysis to the development of information systems","authors":"Isabel Santos, J. Carvalho","doi":"10.1109/ICRE.1996.491452","DOIUrl":"https://doi.org/10.1109/ICRE.1996.491452","url":null,"abstract":"In recent years, several object-oriented (OO) approaches to the analysis of information systems (IS) have been proposed by different authors. However, there is still some controversy about the adequacy of OO approaches to IS modelling. While some authors claim that OO modelling techniques are very close to the way human beings organise their ideas, other authors point out some difficulties in the exclusive use of OO models for IS modelling. The experiment described in the paper constitutes a contribution to the understanding of the adequacy of OO approaches to IS modelling. The deliverables of an IS analysis project (carried out according to the Coad/Yourdon OO analysis method) have been presented to three opinion groups: undergraduate IS students, post-graduate IS students, and domain experts (insurance business). The results of the experiment suggest that the approach used in the project can lead to \"good\" IS models (e.g. dimension, level of detail, consistency, understandability) although there are some aspects that need to be improved. One particular aspect where OO IS models seem to fail is the adequate representation of organisation processes.","PeriodicalId":152956,"journal":{"name":"Proceedings of the Second International Conference on Requirements Engineering","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115385318","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Capturing functional requirements through object interactions","authors":"Daniel A. Rawsthorne","doi":"10.1109/ICRE.1996.491430","DOIUrl":"https://doi.org/10.1109/ICRE.1996.491430","url":null,"abstract":"The author introduces transaction based analysis (TBA), an object-oriented analysis methodology that is a blend of use-case analysis and responsibility driven design. The author shows how a user's functional requirements can be captured in a hierarchy of transaction diagrams-this hierarchy is one of the primary models generated using TBA. Transaction diagrams show how responsibilities within the system are carried out-they capture the control flow between objects in the system, as well as indicate which object responsibilities are being invoked. These diagrams also capture patterns of interactions that are intrinsic in the user's conceptual model. The notation for transaction diagrams is robust and easily communicated to the user.","PeriodicalId":152956,"journal":{"name":"Proceedings of the Second International Conference on Requirements Engineering","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134246302","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Processing natural language software requirement specifications","authors":"M. Osborne, C. MacNish","doi":"10.1109/ICRE.1996.491451","DOIUrl":"https://doi.org/10.1109/ICRE.1996.491451","url":null,"abstract":"Ambiguity in requirement specifications causes numerous problems; for example in defining customer/supplier contracts, ensuring the integrity of safety-critical systems, and analysing the implications of system change requests. A direct appeal to formal specification has not solved these problems, partly because of the restrictiveness and back of habitability of formal languages. An alternative approach, described in the paper, is to use natural language processing (NLP) techniques to aid the development of formal descriptions from requirements expressed in controlled natural language. While many problems in NLP remain unsolved, we show that suitable extensions to existing tools provide a useful platform for detecting and resolving ambiguities. Our system is demonstrated through a case-study on a simple requirements specification.","PeriodicalId":152956,"journal":{"name":"Proceedings of the Second International Conference on Requirements Engineering","volume":"123 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114642343","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A formal approach to requirements based testing in open systems standards","authors":"J. Leathrum, K. Liburdy","doi":"10.1109/ICRE.1996.491434","DOIUrl":"https://doi.org/10.1109/ICRE.1996.491434","url":null,"abstract":"Experience with an innovative approach to requirements based testing in the IEEE POSIX arena is presented. The work described in this paper is based on a full scale conformance test suite development for the standard IEEE Std 10035-The Ada Language Binding to POSIX. The approach taken in this work is based on a formal description of test requirements which can be automatically translated into executable tests by the Clemson Automated Testing System (CATS). A brief design overview of CATS, as well as a design taxonomy for the testing requirements is presented. Lessons learned from this experienced recommendations for future work conclude the paper.","PeriodicalId":152956,"journal":{"name":"Proceedings of the Second International Conference on Requirements Engineering","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122563594","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Software requirements specification database based on requirements frame model","authors":"Atsushi Ohnishi","doi":"10.1109/ICRE.1996.491450","DOIUrl":"https://doi.org/10.1109/ICRE.1996.491450","url":null,"abstract":"The author proposes a method to build a relational database of software requirements specifications (SRSs) from textual SRSs automatically. The author has been developing a requirements model called requirements frame and a text-base requirements language based on the model in order to improve the quality of SRSs. Since requirements frame can be transformed into a relational data model, each of the requirement sentences can be regarded as a tuple of a relational table. The author has been developing both a query language and a relational database management system for on SRS database. One of the features of the SRS DB system is to give an answer with a requirement sentence as an example/counter-example. This feature contributes to verification of the SRS from a developer's own viewpoint. Another feature is detecting changed requirements in modification of the SRS. This feature contributes to effective maintenance of the SRS.","PeriodicalId":152956,"journal":{"name":"Proceedings of the Second International Conference on Requirements Engineering","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122721061","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"PRO-ART: enabling requirements pre-traceability","authors":"K. Pohl","doi":"10.1109/ICRE.1996.491432","DOIUrl":"https://doi.org/10.1109/ICRE.1996.491432","url":null,"abstract":"Requirements traceability is essential for developing software systems of high quality. Whereas the traceability of the refinement, deployment, and use of a requirement is called post-traceability, the traceability of a requirement back to its origin is named pre-traceability. We present a requirements engineering environment, called PRO-ART, which enables requirements pre-traceability, PRO-ART is based on three main contributions: a three-dimensional framework for requirements engineering which defines the kind of information to be recorded; a trace-repository for structuring the trace information and enabling selective trace retrieval; a novel tool interoperability approach which enables (almost) automated trace capture. In addition, we report on experiences made with the first prototypical implementation of PRO-ART and the resulting redesign and re-implementation, called PRO-ART 2.0, which mainly addresses scalability problems faced with in real applications.","PeriodicalId":152956,"journal":{"name":"Proceedings of the Second International Conference on Requirements Engineering","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117176987","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}