ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (765,199)
  • Computer Science  (765,199)
Collection
Years
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 88-105 
    ISSN: 1432-010X
    Keywords: Viewpoint development ; Requirements acquisition ; Requirements modelling
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Requirements definition is a critical activity within information systems development. It involves many stakeholder groups: managers, various end-users and different systems development professionals. Each group is likely to have its own ‘viewpoint’ representing a particular perspective or set of perceptions of the problem domain. To ensure as far as possible that the system to be implemented meets the needs and expectations of all involved stakeholders, it is necessary to understand their various viewpoints and manage any inconsistencies and conflicts. Viewpoint development during requirements definition is the process of identifying, understanding and representing different viewpoints. This paper proposes a conceptual framework for understanding and investigating viewpoint development approaches. Results of the use of the framework for a comparison of viewpoint development approaches are discussed and some important issues and directions for future research are identified.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 190-194 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 170-189 
    ISSN: 1432-010X
    Keywords: Requirements Engineering ; Process models ; Products ; Review ; Framework
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A framework for assessing research and practice in requirements engineering is proposed. The framework is used to survey state of the art research contributions and practice. The framework considers a task activity view of requirements, and elaborates different views of requirements engineering (RE) depending on the starting point of a system development. Another perspective is to analyse RE from different conceptions of products and their properties. RE research is examined within this framework and then placed in the context of how it extends current system development methods and systems analysis techniques.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 261-263 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 3 (1998), S. 155-173 
    ISSN: 1432-010X
    Keywords: Key words:Requirements engineering – Scenarios – Use cases
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Scenario management (SM) means different things to different people, even though everyone seems to admit its current importance and its further potential. In this paper, we seek to provide an interdisciplinary framework for SM from three major disciplines that use scenarios – strategic management, human–computer interaction, and software and systems engineering – to deal with description of current and future realities. In particular, we attempt to answer the following questions: How are scenarios developed and used in each of the three disciplines? Why are they becoming important? What are current research contributions in scenario management? What are the research and practical issues related to the creation and use of scenarios, in particular in the area of requirements engineering? Based on brainstorming techniques, this paper proposes an interdisciplinary definition of scenarios, frameworks for scenario development, use and evaluation, and directions for future research.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 3 (1998), S. 174-181 
    ISSN: 1432-010X
    Keywords: Key words:Decision practice – Requirements analysis – Risk control – Scenario development
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: In this paper, we address the question of how flesh and blood decision makers manage the combinatorial explosion in scenario development for decision making under uncertainty. The first assumption is that the decision makers try to undertake ‘robust’ actions. For the decision maker a robust action is an action that has sufficiently good results whatever the events are. We examine the psychological as well as the theoretical problems raised by the notion of robustness. Finally, we address the false feeling of decision makers who talk of ‘risk control’. We argue that ‘risk control’ results from the thinking that one can postpone action after nature moves. This ‘action postponement’ amounts to changing look-ahead reasoning into diagnosis. We illustrate these ideas in the framework of software development and examine some possible implications for requirements analysis.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 3 (1998), S. 219-241 
    ISSN: 1432-010X
    Keywords: Key words:Design representations – Requirements engineering – Scenarios
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Scenarios are becoming widely used in three areas of system development: software engineering, human–computer interaction (HCI), and organisational process design. There are many reasons to use scenarios during system design. The one usually advanced in support of the practice is to aid the processes of validating the developers’ understanding of the customers’ or users’ work practices, organisational goals and structures, and system requirements. All three areas identified above deal with these processes, and not surprisingly this has given rise to a profusion of scenario-based practices and representations. Yet there has been little analysis of why scenarios should be useful, let alone whether they are. Only by having such a framework for understanding what scenarios are, and what they are for, can we begin to evaluate different scenario approaches in specific development contexts. This paper is a contribution toward such a framework. We lay out a space of representational possibilities for scenarios and enumerate a set of values or criteria that are important for different uses of scenarios. We then summarise several salient representations drawn from the software engineering, HCI, and organisational process design communities to clarify how these representational choices contribute to or detract from the goals of the respective practices. Finally, we discuss how scenario representations from one area of design may be useful in others, and we discuss the relationship between these representations and other significant early-design and requirements engineering practices.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 92-102 
    ISSN: 1432-010X
    Keywords: Key words:Fixed-point theorem – Grounded theory – Grounded systems engineering methodology – GSEM – Information systems requirements – Qualitative methodology – Qualitative scenarios – Requirements engineering
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: In this paper, we argue that information systems requirements are inherently dynamic, and that a methodology that caters for such dynamicity must enable the evaluation of requirements, as they evolve, against dynamic contexts. Moreover, information systems contexts are soft, ambiguous, and are thus mainly characterised by qualitative data. We present an analytical technique, based on the grounded theory method for developing qualitative scenarios against which statements of requirements can be evaluated.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 165-168 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 134-151 
    ISSN: 1432-010X
    Keywords: Key words:Empirical study – Legacy systems – Medical information systems – Non-functional requirements – Process history – RE practice – Requirements validation – Usability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: A case study of requirements engineering practice is reported. The application, a decision support system for the Greek Ministry of Health, was investigated by studying the process of requirements analysis through to design and implementation. A usability analysis was then conducted on the designed system with the users. Several usability problems were discovered, and interviews uncovered further problems with the system that could be attributed to failure in requirements engineering (RE). Even though requirements were explicitly stated and the system was an evolution from an existing legacy system, functionality was defective and usability was poor. The client’s prime concern for redeveloping the system was to improve usability; unfortunately communications problems in the RE process meant that the developers did not appreciate this. The implications for RE methods and understanding the RE process are discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 188-197 
    ISSN: 1432-010X
    Keywords: Key words:Memory systems – Parallel applications – Predicate calculus
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Shared memory provides a convenient programming model for parallel applications. However, such a model is provided on physically distributed memory systems at the expense of efficiency of execution of the applications. For this reason, applications can give minimum consistency requirements on the memory system, thus allowing alternatives to the shared memory model to be used which exploit the underlying machine more efficiently. To be effective, these requirements need to be specified in a precise way and to be amenable to formal analysis. Most approaches to formally specifying consistency conditions on memory systems have been from the viewpoint of the machine rather than from the application domain.  In this paper we show how requirements on memory systems can be given from the viewpoint of the application domain formally in a first-order theory MemReq, to improve the requirements engineering process for such systems. We show the general use of MemReq in expressing major classes of requirements for memory systems and conduct a case study of the use of MemReq in a real-life parallel system out of which the formalism arose.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 132-134 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 106-131 
    ISSN: 1432-010X
    Keywords: Requirements specification ; Object-oriented analysis ; Formal specification ; Dynamic logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract In this paper, we define a number of tools that we think belong to the core of any toolkit for requirements engineers. The tools are conceptual and hence, they need precise definitions that lay down as exactly as possible what their meaning and possible use is. We argue that this definition can best be achieved by a formal specification of the tool. This means that for each semi-formal requirements engineering tool we should provide a formal specification that precisely specifies its meaning. We argue that this mutually enhances the formal and semi-formal technique: it makes formal techniques more usable and, as we will argue, at the same time simplifies the diagram-based notations. At the same time, we believe that the tools of the requirements engineer should, where possible, resemble the familiar semi-formal specification techniques used in practice today. In order to achieve this, we should search existing requirements specification techniques to look for a common kernel of familiar semi-formal techniques and try to provide a formalisation for these. In this paper we illustrate this approach by a formal analysis of the Shlaer-Mellor method for object-oriented requirements specification. The formal specification language used in this analysis is LCM, a language based on dynamic logic, but similar results would have been achieved by means of another language. We analyse the techniques used in the information model, state model, process model and communication model of the Shlaer-Mellor method, identify ambiguities and redundancies, indicate how these can be eliminated and propose a formalisation of the result. We conclude with a listing of the tools extracted from the Shlaer-Mellor method that we can add to a toolkit that in addition contains LCM as formal specification technique.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 3 (1998), S. 153-154 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 19-37 
    ISSN: 1432-010X
    Keywords: Key words: Formal methods; Specification languages; Statecharts; Visual languagesRID=""ID="" 〈E5〉Correspondence and offprint requests to〈/E5〉: D.A. Lamb, Computing and Information Science, Queen’s University, Kingston, Ontario, Canada K7L 3N6. Email: dalamb@qucis.queensu.ca
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: paper introduces the idea of a software behavioural view: intuitively, this is a complete description of the behaviour of the system observable from a specific point of view. We believe that a fully developed methodology based on views would significantly reduce the complexity of creating and understanding software requirements. In this paper we take the first steps towards such a methodology. We define a formal notation, Viewcharts, with a well-defined semantics based on Statecharts. Viewcharts gives a means for precisely describing views and their compositions. We show that Viewcharts reasonably capture the informal idea of a view by giving an example: a manufacturing control system. We show that Viewcharts have some advantages over Statecharts; in particular, Viewcharts add name space control to limit the scope of broadcast communication, solving a problem with Statecharts presented by Harel.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 65-76 
    ISSN: 1432-010X
    Keywords: Key words:Global organisations – Object technology – Requirements – Use cases
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: The increasingly global nature of financial markets and institutions means that the collection and management of information on which decisions might be based are increasingly complex. There is a growing requirement for the integration of information flows at individual and departmental levels, and across processes and organisational boundaries. Effective information management is an important contributory factor in the efficiency of such institutions, though there are many associated problems that do not have obvious or simple answers. This paper discusses the problem of information gathering in complex business environments and considers how use cases can help to alleviate the problem using an example of a multinational organisation. Such organisations often require information systems that can support regional differences. However, management requires consistent and uniform representation of information. The example shows that use cases can be a helpful mechanism for capturing user requirements that accommodate both regional properties as well as their organisational commonalties.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 103-114 
    ISSN: 1432-010X
    Keywords: Key words:Industrial democracy – Participatory design – Systems development – Work organisation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: This paper is predicated on requirements analysis as the Achilles heel of information systems development, and accepts that information systems often disappoint. Most design paradigms can be located within a rationalistic framework polarised by requirements analysis and system delivery. Such traditional design paradigms are seen as palliatives that prevent us moving toward more satisfying information systems. It is argued that this rationalistic framework forces us to identify, and attempt to solve, problems that are symptomatic of the approach adopted. A pluralistic framework for information system development is presented which rejects the notions of requirements analysis and system optimality. Participatory design, derived from the field of human computer interaction, is located within this framework and identified as a possible paradigm for information system development. A case study is conducted to assess the benefits of participatory design techniques and to evaluate the extent to which participatory design can overcome the failings of traditional methodologies.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 198-209 
    ISSN: 1432-010X
    Keywords: Key words:Animation of specifications – Inheritance – Object-oriented methods – Requirements engineering
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Dynamic logic (DL) provides a suitable formal framework to model actions and reasoning about them. 〈$〉\cal OASIS〈$〉 is a language for the specification of object-oriented conceptual models. In our model, specialisation is a relation between classes that defines an inheritance mechanism through static and dynamic partitions. A variant of DL (including the deontic operators for permission, prohibition and obligation) is the formalism used in 〈$〉\cal OASIS〈$〉 to deal with changes of state, triggers, preconditions, protocols and operations. The animation of conceptual models in order to validate the specification is an interesting topic. We have worked on translating 〈$〉\cal OASIS〈$〉 specifications automatically to concurrent environments in order to obtain a prototype useful to validate specifications by animation. The aim of this paper is to show that it is feasible to translate static and dynamic partitions automatically into dynamic logic formulae. Thus, using the same developed schema of animation it is possible to execute 〈$〉\cal OASIS〈$〉 specifications including inheritance.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 2-22 
    ISSN: 1432-010X
    Keywords: Key words:Automated tool – Completeness – Consistency – Requirements engineering – Requirements model synthesis – Scenario analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes:  This paper presents an automated tool for scenario-driven requirements engineering where scenario analysis plays the central role. It is shown that a scenario can be described by three views of data flow, entity relationship and state transition models by slight extensions of classic data flow, entity relationship and state transition diagrams. The notions of consistency and completeness of a set of scenarios are formally defined in graph theory terminology and automatically checked by the tool. The tool supports automatic validation of requirements definitions by analysing the consistency between a set of scenarios and requirements models. It also supports automatic synthesis of requirements models from a set of scenarios. Its utility and usefulness are demonstrated by a non-trivial example in the paper. Case studies of the tools are also presented.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 83-92 
    ISSN: 1432-010X
    Keywords: Key words: Business processes – Collaboration – Interaction – Requirements engineering – Role Activity Diagrams – Socio-technical
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: The aim of this paper is to introduce the socio-technical Role Activity Diagram modelling language to National Health Service (NHS) information systems requirements engineering using a process approach. Most requirements engineering in the NHS is done using data-driven methods such as data flow diagrams. Role Activity Diagrams provide not only a socio-technical method for analysing a particular systems development problem, but they also offer a process-based approach for capturing workflows and their associated information flows, and facilitate communication between analysts and users in an intuitive fashion. In particular, they elicit the important roles in a process and the interaction and collaboration required to achieve the goals of the process. The process approach has been applied in business information systems development. It is introduced here as a potential for systems development in the NHS.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 135-135 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 157-169 
    ISSN: 1432-010X
    Keywords: Analogic reasoning ; Computational mechanisms ; Negotiation ; Viewpoints
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper argues that existing definitions of viewpoints in software engineering are inadequate for requirements engineering (RE). The ESPRIT 6353 ‘NATURE’ basic research action proposes an alternative definition which recognises that viewpoints are social artefacts within the RE process. It also proposes novel computational mechanisms for analysing different viewpoints as a basis for more informed negotiation between viewpoint owners. This paper reports important aspects of this research and outlines an agenda for future research in multiperspective RE.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 137-143 
    ISSN: 1432-010X
    Keywords: Key words: Power industry – Procurement project – Request for Proposals – Requirements engineering – Requirements specification – System engineering
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Nowadays, time is critical in most system engineering projects. The ability to deliver systems in short time determines the success of the system supplier. For customers, the quicker the system delivery time, the better are their chances to get some business advantages in their ever-changing business environments. As a consequence, an increasing number of projects are subjected to tight deadlines in all project phases, including requirements elicitation. A project with plenty of time for developing a requirements specification is hard to find. In this paper, experiences from one such project are reflected. Based on these experiences, time aspects in requirements engineering are discussed; i.e., what could be done better in requirements engineering if there were more time and what can easily be missed in requirements engineering under a tight deadline.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 242-244 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 70-71 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 195-196 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 210-237 
    ISSN: 1432-010X
    Keywords: Requirements specification ; Rule modeling ; Goal modeling ; Deontic operators
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract One major task in requirements specification is to capture the rules relevant to the problem at hand. Declarative, rule-based approaches have been suggested by many researchers in the field. However, when it comes to modeling large systems of rules, not only for the behavior of the computer system but also for the organizational environment surrounding it, current approaches have problems with limited expressiveness, flexibility, and poor comprehensibility. Hence, rule-based approaches may benefit from improvements in two directions: (1) improvement of the rule languages themselves and (2) better integration with other, complementary modeling approaches. In this article, both issues are addressed in an integrated manner. The proposal is presented in the context of the Tempora project on rule-based information systems development, but has also been integrated with PPP. Tempora has provided a rule language based on an executable temporal logic working on top of a temporal database. The rule language is integrated with static (ER-like) and dynamic (SA/RT-like) modeling approaches. In the current proposal, the integration with complementary modeling approaches is extended by including organization modeling (actors, roles), and the expressiveness of the rule language is increased by introducing deontic operators and rule hierarchies. The main contribution of the article is not seen as any one of the above-mentioned extensions, but as the resulting comprehensive modeling support. The approach is illustrated by examples taken from an industrial case study done in connection with Tempora.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 264-264 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 1-18 
    ISSN: 1432-010X
    Keywords: Key words: Multimedia; Rapid prototyping; Requirements; specification
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: requirements specifications are developed for large-scale systems, the final specification is usually an abstraction of the original requirements data into a text-based form that is often foreign to end-users. A method was developed for representing requirements through use of electronic multimedia. The resulting specification is capable of representing requirements and requirements data in a manner that is more representative of the real-world problem space than traditional specifications. This paper presents a method for incorporating multimedia exhibits, notably the results of rapid prototyping activities and animated simulation, into a requirements specification for large-scale C2I systems. To examine the effectiveness of the method, a multimedia requirements specification was developed based on an existing text specification for a real-world system. An experiment was also performed that showed the product of the methodology to be effective in increasing the understandability of the specification over that obtained from the text specification alone.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 60-61 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Requirements Engineering for airing readers’ views on requirements engineering research and practice. Contributions that describe results, experiences, biases and research agendas in requirements engineering are particularly welcome. ‘Viewpoints’ is an opportunity for presenting technical correspondence or subjective arguments. So, whether you are a student, teacher, researcher or practitioner, get on your soapbox today and let us know what’s on your mind . . . Please submit contributions electronically to Viewpoints Editor, Bashar Nuseibeh (ban@doc.ic.ac.uk). Contributions less than 2000 words in length are preferred.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 38-59 
    ISSN: 1432-010X
    Keywords: Key words: CSCW; Distributed teamwork; Facilitation; Facilitator; Groupware; Requirements capture
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: There is an increasing understanding of requirements engineering as a group activity. Those who have participated in requirements workshops and meetings will recognise that success often depends on the mediation skills of the workshop facilitator. The role of the facilitator in requirements engineering was the subject of a lively debate at the International Conference on Requirements Engineering (ICRE’98) where a panel of professional facilitators 1 shared their experiences with participants. The aim of this paper is to present a full discussion of the role of the facilitator in requirements engineering. The paper is important for the following reasons: 1. The role of the facilitator in the success of requirements workshops is often grossly underestimated (if a workshop was successful, the role of the facilitator is often forgotten). 2. The requirements engineering community should develop a better understanding of the role of the facilitator in addressing the twin concerns of successfully involving people in the requirements process and of producing good-quality requirements specifications within the resources available. 3. Electronic meeting systems are increasingly being used not only in face-to-face meetings but also in meetings where participants are geographically dispersed. Detailed descriptions of the role of the facilitator will provide a blueprint for developing appropriate computer support for facilitation which may well be vital to the success of distributed requirements engineering teams. The paper discusses the importance of conflict in requirements teams and the role of the facilitator in dealing with conflict. A number of facilitated requirements methods are reviewed and a number of models of facilitation described. The paper then presents summaries of six case studies of situations where the author has acted as a professional facilitator of commercial requirements engineering teams. The lessons learned from these experiences are brought together with existing facilitation models to produce a new model. The main outcome of the research presented in this paper is a seven-layer model of the role of the facilitator.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 85-91 
    ISSN: 1432-010X
    Keywords: Key words:Critical theory – Empowerment – Methodology – Soft systems methodology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: The fidelity and practicality of using soft systems methodology (SSM) to empower the workforce such that its members can make a fuller contribution to the requirements engineering process is critically analysed. The detailed analysis is carried out by using a (critical) philosophical approach to develop an interpretation of (some key aspects of) requirements engineering practice in actual information systems development situations, utilising a number of practical requirements engineering studies. This analysis is built upon to explain the relationship between requirements engineering, SSM and workforce empowerment. It is concluded that, by maintaining critically focused attention on the economic context, it is theoretically possible to engineer requirements for information systems that would actually empower the workforce. However, the likelihood of using SSM successfully for this purpose is low, as the economic context in which requirements engineering takes place is largely ignored by the SSM advocates.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 152-164 
    ISSN: 1432-010X
    Keywords: Key words:Design explanation – Design rationale – Information analysis – Requirements engineering process
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: This paper reports the results of an action research project which studied the benefits of documenting the evolution, and the rationale for the evolution, of a requirements specification. The benefits which design explanation offers designers (as documented in the literature) suggested an investigation with a view to understanding the potential contribution of the IBIS (Issue-Based Information System) approach. The paper reports an investigation into the use of ad hoc design explanation, in which design decisions were documented as they were made using the IBIS notation. This study finds both strengths and weaknesses in the approach. It reveals ways in which IBIS might be used more effectively and leads us to suggest a further study into the complementary use of ad hoc and post hoc design explanation approaches.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 210-220 
    ISSN: 1432-010X
    Keywords: Key words:Classification – Curriculum – Information systems – Method engineering
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Method engineering (ME) deals with the selection and assembly of situation-specific methods for information systems development. In this paper we use ME with a somewhat unusual perspective, that is, an educational one. We introduce a procedure for the evaluation of information systems curricula within an ME framework. Using this approach it is possible to quantitatively characterise and compare information systems curricula, showing their relative strengths and weaknesses. As an example we evaluate three model curricula (IS’90, IS’97 and ISCC’99) and analyse their differences and similarities.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 62-65 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 67-73 
    ISSN: 1432-010X
    Keywords: Key words: Information requirements – Information systems development – Methodologies – Research – Socio-technical – Soft systems
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: The contributors to this special issue focus on socio-technical and soft approaches to information requirements elicitation and systems development. They represent a growing body of research and practice in this field. This review presents an overview and analysis of the salient themes within the papers encompassing their common underlying framework, the methodologies and tools and techniques presented, the organisational situations in which they are deployed and the issues they seek to address. It will be argued in the review that the contributions to this special edition exemplify the ‘post-methodological era’ and the ‘contingency approaches’ from which it is formed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 103-113 
    ISSN: 1432-010X
    Keywords: Key words: Data modelling – Ethnography – Information systems development – Requirements engineering – Socio-technical
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: This paper looks from an ethnographic viewpoint at the case of two information systems in a multinational engineering consultancy. It proposes using the rich findings from ethnographic analysis during requirements discovery. The paper shows how context – organisational and social – can be taken into account during an information system development process. Socio-technical approaches are holistic in nature and provide opportunities to produce information systems utilising social science insights, computer science technical competence and psychological approaches. These approaches provide fact-finding methods that are appropriate to system participants’ and organisational stakeholders’ needs.  The paper recommends a method of modelling that results in a computerised information system data model that reflects the conflicting and competing data and multiple perspectives of participants and stakeholders, and that improves interactivity and conflict management.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 144-156 
    ISSN: 1432-010X
    Keywords: Key words: Conceptual modelling – Factual and temporal uncertainty – Multiple information sources – Nested relational databases
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: The main task of an information system is the representation and management of large amounts of indicative information from multiple sources describing the state of some enterprise. Most conceptual and database models represent enterprises with no imprecise data. Very few approaches in the literature are dealing with imprecise data. In temporal data models and databases, approaches are dealing mainly with precise absolute times. Little consideration has been given to imprecise absolute times or infinite absolute times. No consideration has been given to imprecise infinite absolute times either. Many algebraic models are dealing with temporal or value imperfection, with no description of semantics of uncertain information. There is a need for conceptual models that capture the essential semantics of data imperfection, belief, and the temporal nature of imperfect information. This paper is proposing a conceptual framework that describes the semantics of temporal and incomplete information, and shows how this can be translated to database representation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 180-193 
    ISSN: 1432-010X
    Keywords: Key words: ERP customising – ERP systems – Requirements engineering
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: We argue that Enterprise Resource Planning (ERP) installations are difficult to align to specific requirements of the enterprise because of the low level at which ERP functionality is described. We raise this level from a functional description to a goal-oriented one. We use SAP R/3 to illustrate this. A SAP goal expresses the task that a SAP function carries out and abstracts away from the performance of this task. Since a SAP goal can be achieved in many ways, we introduce the notion of SAP strategies. We organise goals and strategies as a directed graph called a map. We illustrate the map with the Materials Management Module of SAP. In order to evaluate and compare the use of the map with the functional approach, we develop an evaluation framework. The evaluation and comparison are presented. The materials management map is then used to align the SAP module to the stores and purchase department of an academic institute.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 157-179 
    ISSN: 1432-010X
    Keywords: Key words: Business patterns – Design patterns – Modelling – Product information systems – Requirements engineering – Reuse
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: This paper deals with the application of the pattern approach to product information systems (PIS) engineering. Two kind of patterns are distinguished: business patterns used for specification and providing solutions for application field problems, and software patterns used for implementation and providing solutions for technical problems (software). Particular attention is given to identifying and specifying different business patterns. The main focus is on the activity of design for reuse, i.e. discovery of business patterns and their integration in a pattern catalogue. The first step consisted of a field analysis providing a common terminology and a semantic of the principal concepts managed in PIS and proposing various models to fix these concepts. It forms a basis for exploring the problems frequently occurring during PIS specification. A pattern catalogue is then proposed to solve the identified problems.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 194-197 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 27-46 
    ISSN: 1432-010X
    Keywords: Causal logic ; Causation ; Requirements specification ; Requirements analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The language of causation is natural for the specification of requirements for complex systems. The paper provides a vocabulary of causal specification expressions, suitable for describing and analysing such systems. The notation is given a syntax and partial semantics. It covers many of the commonly used modes of causal language including necessary and sufficient cause, prevention and enabling conditions. The concept of condition splitting is introduced, enabling a specification at an abstract level to treat two conditions as identical, while a concrete refinement of it may view them as separate. A number of other issues are examined, including: repetitive, probabilistic and hidden causes; causal agents; the validation of causal descriptions; and concurrency. Possible approaches to development of causal specifications are discussed. The work is placed in the context of related work in artificial intelligence and philosophy. The detailed framework of the paper is supported by a realistic example.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 72-74 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 1-3 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 63-69 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper gives a short description of RENOIR (Requirements Engineering Network of International Cooperating Research Groups), a ‘network of excellence’ established within the Framework programme of the European Union. RENOIR will be a major vehicle for coordination and the provision of an infrastructure for requirements engineering research and technology development for organisations within the European Union (or in countries with cooperation agreements with the European Union). RENOIR can also act as a resource and an expertise broker for the wider international requirements engineering community.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 47-62 
    ISSN: 1432-010X
    Keywords: Conceptual schema analysis ; Information system re-engineering ; Reference components ; Similarity measures ; Schema clustering
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The paper deals with the problem of building an inventory of information systems for the public administration, with reference to an ongoing project in Italy. We describe the investigation techniques defined for collecting information and the techniques developed for a systematic analysis of the large set of conceptual schemas resulting from the investigation. These schemas describe the data used by the public administration work processes. In particular, we describe the conceptual schema of the inventory, which is the basis for discussing the methodology of investigation, the choice of units of investigation, the data collection and merging, and the access to information. Then, we present the schema analysis techniques developed to analyse semi-automatically the large set of conceptual schemas resulting from the investigation. In particular, we illustrate indexing techniques for identifying representative descriptors of schemas and similarity techniques to compare schemas for their classification into families. Finally, the tool developed to support the storage, analysis and classification of schemas is described and experimentation results are discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 75-87 
    ISSN: 1432-010X
    Keywords: Requirements ; Survey ; Current practice ; Project size ; Systems development economics
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper presents the findings of a detailed survey of 107 projects in which the iterative nature of requirements analysis was explored in economic terms. The survey was conducted from the point of view of the project manager. The results indicate that half of the projects take three or more interations to complete the requirements, that the use of methodologies and project characteristics affect the number of iterations, and that in half of the projects the number of iterations planned was different from the number actually carried out. The paper concludes by attempting to explain the relationship between the economics of the requirements process and the number of iterations through a spiral model of requirements capture and analysis.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 137-156 
    ISSN: 1432-010X
    Keywords: Requirements engineering ; Architecture modelling ; Software development environments ; Intelligent tool support ; Integration ; Incrementality
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper describes the outside functionality of an RE environment within an integrated software development environment. Furthermore, an integrator tool for the transition to software system architecture modelling is presented. The tools discussed are editors, analysers, executors, monitors, and integration tools of different characteristics for horizontal integration (within RE) and vertical integration (to architecture modelling). All tools are tightly integrated and work incrementally, therefore allowing different forms of construction and modification processes and giving substantial support.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 23-37 
    ISSN: 1432-010X
    Keywords: Key words:Actor-Role Modelling – Deregulation – Electricity supply industry – Models – Operation – Structure
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Recent years have witnessed a worldwide wave of deregulatory reforms in many areas of economic activity. In the electricity sector in particular, a multitude of completed as well as ongoing efforts for deregulation demonstrate the need for the development of a framework that allows a systematic reasoning on the valid alternatives for reform. In this paper we propose a view of the electricity supply industry that combines structural characteristics of the sector with operational ones so as to offer a unified view of deregulation alternatives. This framework allows the description of existing models of reform in a generic and abstract way, offering the ability to examine possible combinations of deregulatory features in a structured and repeatable manner.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    ISSN: 1432-010X
    Keywords: Key words: Case study research – Cognitive schemas – Formal and informal information – Information requirements analysis – Information systems development – Management of knowledge – Structured approaches
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Information systems (IS) development approaches are considered with particular reference to those aspects of the process most concerned with the determination of information requirements. The majority can be classified as adopting a unitary, objective perspective. This perspective fails to recognise the interpretative, inter-subjective nature of information and the importance of informal as well as formal data-processing systems. This paper aims to contribute to the discussion on socio-technical and soft approaches to IS development by providing a contrasting perspective on information requirements analysis as a process which is socially mediated. A framework is developed which places information requirements analysis in the context of strategic IS development. This locates social communication networks centrally in this process and raises implications for the practice of IS development, and of information requirements analysis.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 125-133 
    ISSN: 1432-010X
    Keywords: Key words: Changing work – Company structure – Socio-technical – Systems design
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: This paper examines how the structure of organisations is changing as a result of the global market and new technology and it discusses how these changes are affecting the nature of work. It identifies systems design as a problem-solving activity that requires a multidisciplinary approach, examines the current and new problems of complex systems design and describes how a socio- technical approach which takes account of technical, organisational, economic and social needs can assist the creation of humanistic and effective systems for tomorrow’s world.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 114-124 
    ISSN: 1432-010X
    Keywords: Key words: Elicitation – Epistemology – Linguistic – Prototyping – Representation – Requirements
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Human and conversational aspects of requirements and knowledge identification are employed to show that requirements ‘engineering’ is not the same as civil engineering or scientific problem solving. Not only can requirements not be made fully explicit at the start of a project, they cannot be made fully explicit at all. A need is identified to enhance computer-based information systems (CBIS) development methods to accommodate: plurality of incommensurable perspectives, languages and agendas; dynamic representations of system features that can be experienced rather than abstracted and forced into an abstract paper-based representation; recognition that CBIS development is in general a continuous process where users changing their minds is a natural and necessary indication or organisational vitality.  It is suggested that prototyping and rapid application development go some way to addressing these requirements but that they require further development in the light of the theoretical light thrown on the nature of the problem.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 134-136 
    ISSN: 1432-010X
    Keywords: Key words: Fit criteria – Involvement participation – Requirements – Stakeholders
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Why do the business requirements and the final software product often have little in common? Why are stakeholders, developers and managers reluctant to embrace a full requirements process? Why does everybody say, ‘We don’t have time for requirements’? Why is the potentially most beneficial part of the development process ignored or short-changed?  Following are some observations about why the real requirements for the product often go undiscovered. We will address this by focusing on the different concerns of the people involved in requirements.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 199-207 
    ISSN: 1432-010X
    Keywords: Key words:IS analysis methodologies – Object oriented – Requirements
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: The application of object oriented concepts (OO) to the requirements phase of information systems (IS) and software development has been adopted by many proponents of IS and software development methodologies. Although many claims have been made about the effectiveness of OO techniques for improving requirements analysis, very few experimental studies have been done to substantiate these claims. This paper addresses this gap in the literature by conducting an experimental study that attempts to validate the effectiveness of object-oriented analysis (OOA) by comparing it to structured analysis (SA) for producing requirements. We argue that the quality of the requirements specification can be measured and that measurement can be used to compare the effectiveness of OOA and SA. We present an overview of the basic models and principles associated with OOA and SA, a discussion of quality in requirements definition, and a detailed discussion of the research methodology used. A review of relevant research is also presented and directions for further research are suggested. Our findings suggest that the OOA methodology does not necessarily produce better requirements statements.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 5 (2000), S. 208-224 
    ISSN: 1432-010X
    Keywords: Key words:Inter-component communication – Formal methods – Requirements specification – RSML – Safety kernel – State-based specification – Static analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: In control systems, the interfaces between software and its embedding environment are a major source of costly errors. For example, Lutz reported that 20–35% of the safety-related errors discovered during integration and system testing of two spacecraft were related to the interfaces between the software and the embedding hardware. Also, the software’s operating environment is likely to change over time, further complicating the issues related to system-level inter-component communication. In this paper we discuss a formal approach to the specification and analysis of inter-component communication using a revised version of RSML (Requirements State Machine Language). The formalism allows rigorous specification of the physical aspects of the inter-component communication and forces encapsulation of communication-related properties in well-defined and easy-to-read interface specifications. This enables us both to analyse a system design to detect incompatibilities between connected components and to use the interface specifications as safety kernels to enforce safety constraints.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 3 (1998), S. 182-201 
    ISSN: 1432-010X
    Keywords: Key words:COTS acquisition – Enterprise-level impacts – Scenarios – System procurement
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: When an enterprise considers the acquisition of a COTS (commercial off-the-shelf) system, the procurement process typically includes consideration of technical criteria such as feature sets and ease of integration with other systems. However, any selected COTS system will also have an impact on how the enterprise runs – how the work of the enterprise gets done and ultimately how the services of the enterprise are delivered to its customers. This paper presents a method for determining these enterprise-level impacts. A notion of enterprise-level impacts is delineated, and a scenario-based technique is presented for uncovering and assessing these impacts. The method is informal and lightweight – it does not require extensive modelling, formal rigour, or management of artefacts. Some insights, experience and lessons are reported. Some comparisons are made with past experience using a more formal, heavyweight method and tool.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 319-337 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The exchange of radiant energy (e.g., visible light, infrared radiation) in simple macroscopic physical models is sometimes approximated by the solution of a system of linear equations (energy transport equations). A variable in such a system represents the total energy emitted by a discrete surface element. The coefficients of these equations depend on the form factors between pairs of surface elements. A form factor is the fraction of energy leaving a surface element which directly reaches another surface element. Form factors depend only on the geometry of the physical model. Determining good approximations of form factors is the most time-consuming step in these methods, when the geometry of the model is complex due to occlusions. In this paper, we introduce a new characterization of form factors based on concepts from integral geometry. Using this characterization, we develop a new and asymptotically efficient Monte Carlo method for the simultaneous approximation of all form factors in an occluded polyhedral environment. The approximation error is bounded without recourse to special hypothesis. This algorithm is, for typical scenes, one order of magnitude faster than methods based on the hemisphere paradigm or on Monte Carlo ray-shooting. Let A be any set of convex nonintersecting polygons in R 3 with a total of n edges and vertices. Let ε be the error parameter and let δ be the confidence parameter. We compute an approximation of each nonzero form factor such that with probability at least 1-δ the absolute approximation error is less than ε. The expected running time of the algorithm is $O((\epsilon^{-2} \log \delta^{-1})(n\log^2 n + K\log n))$ , where K is the expected number of regular intersections for a random projection of A. The number of regular intersections can range from 0 to quadratic in n, but for typical applications it is much smaller than quadratic. The expectation is with respect to the random choices of the algorithm and the result holds for any input.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 365-375 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We study the following generalization of the inradius: For a convex body K in the d-dimensional Euclidean space and a linear k-plane L we define the inradius of K with respect to L by $r_L(K)=\max\{r(K; x+L): x\in E^d\}$ , where r(K;x+L) denotes the ordinary inradius of $K\cap(x+L)$ with respect to the affine plane x+L. We show how to determine $r_L(P)$ for polytopes and use the result to estimate $\min\{ r_L(T_r^d): L \ \mbox{ is a } k\mbox{-plane}\}$ for the regular d-simplex T_r d . These estimates are optimal for all k in infinitely many dimensions and for certain k in the remaining dimensions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 111-120 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The problem of maximizing the radius of n equal circles that can be packed into a given square is a well-known geometrical problem. An equivalent problem is to find the largest distance d, such that n points can be placed into the square with all mutual distances at least d. Recently, all optimal packings of at most 20 circles in a square were exactly determined. In this paper, computational methods to find good packings of more than 20 circles are discussed. The best packings found with up to 50 circles are displayed. A new packing of 49 circles settles the proof that when n is a square number, the best packing is the square lattice exactly when n≤ 36.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 125-134 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present an $O(n\log^{9}n)$ -time algorithm for computing the 2-center of a set S of n points in the plane (that is, a pair of congruent disks of smallest radius whose union covers S), improving the previous $O(n^2\log n)$ -time algorithm of [10].
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 135-149 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. An earlier paper describes a program to prove the Kepler conjecture on sphere packings. This paper carries out the second step of that program. A sphere packing leads to a decomposition of R 3 into polyhedra. The polyhedra are divided into two classes. The first class of polyhedra, called quasi-regular tetrahedra, have density at most that of a regular tetrahedron. The polyhedra in the remaining class have density at most that of a regular octahedron (about 0.7209).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 151-177 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. This paper studies a geometric probing problem. Suppose that an unknown convex set in R 2 can be probed by an oracle which, when given a unit vector, will return the position of the supporting hyperplane of the convex set that has the given vector as an outward normal. We present an on-line algorithm for choosing probing directions so that, after n probes, an inner and an outer estimate of the convex set are obtained that are within $O(n^{-2})$ of each other in Hausdorff distance. This is optimal since there exist convex sets that, even if visible, cannot be approximated better than $O(n^{-2})$ with n-sided polygons, for example, a circle.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 195-203 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present a method which reduces a family of problems in combinatorial geometry (concerning multiple intervals) to purely combinatorial questions about hypergraphs. The main tool is the Borsuk—Ulam theorem together with one of its extensions. For a positive integer d, a homogeneous d-interval is a union of at most d closed intervals on a fixed line ℓ. Let ${\cal H}$ be a system of homogeneous d-intervals such that no k + 1 of its members are pairwise disjoint. It has been known that its transversal number $\tau ({\cal H})$ can then be bounded in terms of k and d. Tardos [9] proved that for d = 2, one has $\tau ({\cal H}) \leq 8k$ . In particular, the bound is linear in k. We show that the latter holds for any d, and prove the tight bound $\tau ({\cal H}) \leq 3k$ for d = 2. We obtain similar results in the case of nonhomogeneous d-intervals whose definition appears below.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 179-194 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. For each k ≥ 1 and corresponding hexagonal number h(k) = 3k(k+1)+1, we introduce $m(k) = \max \{{(k-1)!}/{2}, 1\}$ packings of h(k) equal disks inside a circle which we call the curved hexagonal packings. The curved hexagonal packing of 7 disks (k = 1, m(1)=1) is well known and one of the 19 disks (k = 2, m(2)=1) has been previously conjectured to be optimal. New curved hexagonal packings of 37, 61, and 91 disks (k = 3, 4, and 5, m(3)=1, m(4)=3, and m(5)=12) were the densest we obtained on a computer using a so-called ``billiards'' simulation algorithm. A curved hexagonal packing pattern is invariant under a $60^{\circ}$ rotation. For $k \rightarrow \infty$ , the density (covering fraction) of curved hexagonal packings tends to ${\pi^2}/{12}$ . The limit is smaller than the density of the known optimum disk packing in the infinite plane. We found disk configurations that are denser than curved hexagonal packings for 127, 169, and 217 disks (k = 6, 7, and 8). In addition to new packings for h(k) disks, we present the new packings we found for h(k)+1 and h(k)-1 disks for k up to 5, i.e., for 36, 38, 60, 62, 90, and 92 disks. The additional packings show the ``tightness'' of the curved hexagonal pattern for k ≤ 5: deleting a disk does not change the optimum packing and its quality significantly, but adding a disk causes a substantial rearrangement in the optimum packing and substantially decreases the quality.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 205-237 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We construct a probabilistic polynomial time algorithm that computes the mixed discriminant of given n positive definite $n \times n$ matrices within a 2 O(n) factor. As a corollary, we show that the permanent of an $n \times n$ nonnegative matrix and the mixed volume of n ellipsoids in R n can be computed within a 2 O(n) factor by probabilistic polynomial time algorithms. Since every convex body can be approximated by an ellipsoid, the last algorithm can be used for approximating in polynomial time the mixed volume of n convex bodies in R n within a factor n O(n) .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 247-255 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. For any 2-coloring of the ${n \choose 2}$ segments determined by n points in general position in the plane, at least one of the color classes contains a non-self-intersecting spanning tree. Under the same assumptions, we also prove that there exist $\lfloor (n+1)/3 \rfloor$ pairwise disjoint segments of the same color, and this bound is tight. The above theorems were conjectured by Bialostocki and Dierker. Furthermore, improving an earlier result of Larman et al., we construct a family of m segments in the plane, which has no more than $m^{\log 4/\log 27}$ members that are either pairwise disjoint or pairwise crossing. Finally, we discuss some related problems and generalizations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 257-267 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Given a simple arrangement of n pseudolines in the Euclidean plane, associate with line i the list σ i of the lines crossing i in the order of the crossings on line i. $\sigma_i=(\sigma^i_1,\sigma^i_2,\ldots,\sigma^i_{n-1})$ is a permutation of $\{1,\ldots,n\} - \{i\}$ . The vector (σ 1 ,σ 2 , ...,σ_n) is an encoding for the arrangement. Define $\tau^i_j = 1$ if $\sigma^i_j 〉 i$ and $\tau^i_j = 0$ , otherwise. Let $\tau_i=(\tau^i_1,\tau^i_2,\ldots,\tau^i_{n-1})$ , we show that the vector (τ 1 , τ 2 , ... , τ_n) is already an encoding. We use this encoding to improve the upper bound on the number of arrangements of n pseudolines to $2^{0.6974\cdot n^2}$ . Moreover, we have enumerated arrangements with 10 pseudolines. As a byproduct we determine their exact number and we can show that the maximal number of halving lines of 10 point in the plane is 13.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 269-288 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let Σ be a collection of n algebraic surface patches in ${\Bbb R}^3$ of constant maximum degree b, such that the boundary of each surface consists of a constant number of algebraic arcs, each of degree at most b as well. We show that the combinatorial complexity of the vertical decomposition of a single cell in the arrangement ${\cal A}(\Sigma)$ is O(n^{2+ɛ}), for any ɛ 〉 0, where the constant of proportionality depends on ɛ and on the maximum degree of the surfaces and of their boundaries. As an application, we obtain a near-quadratic motion-planning algorithm for general systems with three degrees of freedom.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 289-304 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present an O(n 4 )-time and O(n 2 )-space algorithm that computes a subgraph of the minimum weight triangulation (MWT) of a general point set. The algorithm works by finding a collection of edges guaranteed to be in any locally minimal triangulation. We call this subgraph the LMT-skeleton. We also give a variant called the modified LMT-skeleton that is both a more complete subgraph of the MWT and is faster to compute requiring only O(n 2 ) time and O(n) space in the expected case for uniform distributions. Several experimental implementations of both approaches have shown that for moderate-sized point sets (up to 350 points^1) the skeletons are connected, enabling an efficient completion of the exact MWT. We are thus able to compute the MWT of substantially larger random point sets than have previously been computed. ^1Though in this paper we summarize some empirical findings for input sets of up to 350 points, a variant of the algorithm has been implemented and tested on up to 40,000 points producing connected subgraphs [2].
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 377-383 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give an algorithm to compute a (Euclidean) shortest path in a polygon with h holes and a total of n vertices. The algorithm uses O(n) space and requires $O(n+h^2\log n)$ time.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 369-376 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A thrackle is a graph drawn in the plane so that its edges are represented by Jordan arcs and any two distinct arcs either meet at exactly one common vertex or cross at exactly one point interior to both arcs. About 40 years ago, J. H. Conway conjectured that the number of edges of a thrackle cannot exceed the number of its vertices. We show that a thrackle has at most twice as many edges as vertices. Some related problems and generalizations are also considered.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 305-363 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Exact computer arithmetic has a variety of uses, including the robust implementation of geometric algorithms. This article has three purposes. The first is to offer fast software-level algorithms for exact addition and multiplication of arbitrary precision floating-point values. The second is to propose a technique for adaptive precision arithmetic that can often speed these algorithms when they are used to perform multiprecision calculations that do not always require exact arithmetic, but must satisfy some error bound. The third is to use these techniques to develop implementations of several common geometric calculations whose required degree of accuracy depends on their inputs. These robust geometric predicates are adaptive; their running time depends on the degree of uncertainty of the result, and is usually small. These algorithms work on computers whose floating-point arithmetic uses radix two and exact rounding, including machines complying with the IEEE 754 standard. The inputs to the predicates may be arbitrary single or double precision floating-point numbers. C code is publicly available for the two-dimensional and three-dimensional orientation and incircle tests, and robust Delaunay triangulation using these tests. Timings of the implementations demonstrate their effectiveness.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 385-395 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. When C is a ball in ${\Bbb R}^d$ and S is the sphere $\partial C$ , we say that S supports a convex body B if S intersects B and either $B\subseteq C$ (then S is a far support) or the interior of C is disjoint from B (then S is a near support). The focus here is on common supports for a system $\cal B$ of d+1 bodies in ${\Bbb R}^d$ such that for each way of selecting a point from each member of ${\cal B}$ , the selected points are affinely independent and hence form the vertex-set of a d-simplex. The main result asserts that if $({\cal B}',{\cal B}'')$ is an arbitrary partition of ${\cal B}$ , then there exists a unique Euclidean sphere that is simultaneously a near support for each member of ${\cal B}'$ and a far support for each member of ${\cal B}''$ .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 421-431 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. In this paper we describe the convex hulls of the sets of f- and β-vectors of different classes of simplicial complexes on n vertices. These include flag complexes, order complexes of posets, matroid complexes, and general abstract simplicial complexes. As a result of this investigation, standard linear programming problems on these sets can be solved, including maximization of the Euler characteristics or of the sum of the Betti numbers.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 397-420 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give fast and efficient methods for constructing ε-nets and ε-approximations for range spaces with bounded VC-exponent. These combinatorial structures have wide applicability to geometric partitioning problems, which are often used in divide-and-conquer constructions in computational geometry algorithms. In addition, we introduce a new deterministic set approximation for range spaces with bounded VC-exponent, which we call the δ-relative ε-approximation, and we show how such approximations can be efficiently constructed in parallel. To demonstrate the utility of these constructions we show how they can be used to solve the linear programming problem in ${\Bbb R}^d$ deterministically in $O((\log\log n)^d)$ time using linear work in the PRAM model of computation, for any fixed constant d. Our method is developed for the CRCW variant of the PRAM parallel computation model, and can be easily implemented to run in $O(\log n(\log\log n)^{d-1})$ time using linear work on an EREW PRAM.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 455-462 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We show that every simplicial d-polytope with d+4 vertices is a quotient of a neighborly (2d+4)-polytope with 2d+8 vertices, using the technique of affine Gale diagrams. The result is extended to matroid polytopes.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. In this paper, we give an algorithm for output-sensitive construction of an f-face convex hull of a set of n points in general position in E 4 . Our algorithm runs in $O((n+f)\log^2 f)$ time and uses O(n+f) space. This is the first algorithm within a polylogarithmic factor of optimal $O(n \log f + f)$ time over the whole range of f. By a standard lifting map, we obtain output-sensitive algorithms for the Voronoi diagram or Delaunay triangulation in E 3 and for the portion of a Voronoi diagram that is clipped to a convex polytope. Our approach simplifies the ``ultimate convex hull algorithm'' of Kirkpatrick and Seidel in E 2 and also leads to improved output-sensitive results on constructing convex hulls in E d for any even constant d 〉 4.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 463-472 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let X be a finite set of cardinality m in general position in R ^n. For n=3 we show that if X is in convex position, the number of k-sets in X is given by Γ k =2k(m-k)-m+2. In general odd dimension we obtain $\sum(-1)^k\Gamma_k=0$ ; here convexity is not required.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 131-145 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. It is shown that the complete linkage clustering of n points can be computed in O(n log 2 n) time. Furthermore, it is shown that the complete linkage clustering can be approximated within an arbitrarily small constant factor in O(n log n) time.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 1 (1986), S. 73-81 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract It is proved that for any centrally symmetric convex polygonal domainP and for any natural numberr, there exists a constantk=k(P, r) such that anyk-fold covering of the plane with translates ofP can be split intor simple coverings.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 1 (1986), S. 1-7 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract We show that if the unit square is covered byn rectangles, then at least one must have perimeter at least 4(2m+1)/(n+m(m+1)), wherem is the largest integer whose square is at mostn. This result is exact forn of the formm(m+1) (orm 2).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 405-420 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give a linear-time algorithm for computing the medial axis of a simple polygon P . This answers a long-standing open question—previously, the best deterministic algorithm ran in O(n log n) time. We decompose P into pseudonormal histograms, then influence histograms, then xy monotone histograms. We can compute the medial axes for xy monotone histograms and merge to obtain the medial axis for P .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 449-462 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. It is proved that the maximum possible volume of a parallelotope contained in a d -dimensional simplex S is equal to (d! / d d ) vol(S) . A description of all the parallelotopes of maximum volume contained in S is given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 1 (1986), S. 9-23 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract Two convex polytopes, called theorder polytope ϑ(P) andchain polytope ℒ(P), are associated with a finite posetP. There is a close interplay between the combinatorial structure ofP and the geometric structure of ϑ(P). For instance, the order polynomial Ω(P, m) ofP and Ehrhart polynomiali(ϑ(P),m) of ϑ(P) are related by Ω(P, m+1)=i(ϑ(P),m). A “transfer map” then allows us to transfer properties of ϑ(P) to ℒ(P). In particular, we transfer known inequalities involving linear extensions ofP to some new inequalities.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 1 (1986), S. 45-58 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract A subsetX of thed-dimensional Euclidean space ℝ d can cover its shadows inR d , if every orthogonal projection ofX onto a (d−1)-dimensional linear subspace of ℝ d is contained in some congruent copy ofX. Whereas every two-dimensional convex discC ⊂R d has this property, no (d−1)-polytope does, provided thatd〉-4.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 343-353 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We consider two general principles which allow us to reduce certain additive problems for residue classes modulo a prime to the corresponding problems for integers. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p343.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 355-366 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We study the problem of the maximum number of unit distances among n points in the plane, under the additional restriction that we count only those unit distances that occur in a fixed set of k directions, taking the maximum over all sets of n points and all sets of k directions. We prove that, for fixed k and sufficiently large n 〉 n 0 (k) , the extremal sets are essentially sections of lattices, bounded by edges parallel to the k directions and of equal length. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p355.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 519-526 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We use shellings to give an elementary proof of the lower bound theorem for simplicial polytopes including the case of equality.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 481-517 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. This paper introduces a general notion of stress on cell-complexes and reports on connections between stresses and liftings (generalization of C 1 0 -splines) of d -dimensional cell-complexes in R d . New sufficient conditions for the existence of a sharp lifting for a ``flat" piecewise-linear realization of a manifold are given. Our approach also gives some new results on the equivalence between spherical complexes and convex and star polytopes. As an application, two algorithms are given that determine whether a piecewise-linear realization of a d -manifold in R d admits a lifting to R d+1 which satisfies given constraints. We also demonstrate connections between stresses and Voronoi—Dirichlet diagrams and show that any weighted Voronoi—Dirichlet diagram without non-compact cells can be represented as a weighted Delaunay decomposition and vice versa.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 551-556 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. In [2], Billera proved that the R -algebra of continuous piecewise polynomial functions (C 0 splines) on a d -dimensional simplicial complex Δ embedded in R d is a quotient of the Stanley—Reisner ring A Δ of Δ. We derive a criterion to determine which elements of the Stanley—Reisner ring correspond to splines of higher-order smoothness. In [5], Lau and Stiller point out that the dimension of C r k (Δ) is upper semicontinuous in the Zariski topology. Using the criterion, we give an algorithm for obtaining the defining equations of the set of vertex locations where the dimension jumps.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 527-549 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let S be a set of noncrossing triangular obstacles in R 3 with convex hull H . A triangulation T of H is compatible with S if every triangle of S is the union of a subset of the faces of T. The weight of T is the sum of the areas of the triangles of T. We give a polynomial-time algorithm that computes a triangulation compatible with S whose weight is at most a constant times the weight of any compatible triangulation. One motivation for studying minimum-weight triangulations is a connection with ray shooting. A particularly simple way to answer a ray-shooting query (``Report the first obstacle hit by a query ray'') is to walk through a triangulation along the ray, stopping at the first obstacle. Under a reasonably natural distribution of query rays, the average cost of a ray-shooting query is proportional to triangulation weight. A similar connection exists for line-stabbing queries (``Report all obstacles hit by a query line'').
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 557-568 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. This paper presents a new lower bound of $2.414^d/\sqrt d$ on the maximal number of Nash equilibria in d×d bimatrix games, a central concept in game theory. The proof uses an equivalent formulation of the problem in terms of pairs of polytopes with 2d facets in d -space. It refutes a recent conjecture that 2 d -1 is an upper bound, which was proved for d≤4. The first counterexample is a 6×6 game with 75 equilibria. The case d=5 remains open. The result carries the lower bound closer to the previously known upper bound of $2.6^d/\sqrt d$ .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 569-579 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. By means of the Cayley Trick the problem of enumerating all regular fine mixed subdivisions is reduced to enumerating all regular triangulations. The set of all regular triangulations is well understood thanks to the bijection with the vertices of the secondary polytope. However, since we are only interested in the configurations of mixed cells in a mixed subdivision, we want to avoid dealing with other cells. We propose an operator derived from the bistellar flip for regular triangulations to modify a mixed-cell configuration.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 581-601 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give a characterization of the Gram matrices of spherical and finite-volume hyperbolic polytopes of a given combinatorial type. This is done in terms of the signs of certain minors of the Gram matrix.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 603-613 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We prove the following theorem: Let T 1 and T 2 be two disjoint rooted trees with roots v 1 and v 2 , respectively, and let P be a set of |T1 $\cup$ T2| points in the plane in general position containing two specified points p 1 and p 2 . Then the union T 1 $\cup$ T 2 can be straight-line embedded onto P such that v 1 and v 2 correspond to p 1 and p 2 , respectively. Moreover, we give a O(n 2 log n) time algorithm for finding such an embedding, where n is the number of vertices contained in T 1 $\cup$ T 2 .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 411-425 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let A be a polygon, and let s (A) denote the number of distinct nonsimilar triangles Δ such that A can be dissected into finitely many triangles similar to Δ . If A can be decomposed into finitely many similar symmetric trapezoids, then s(A)=∞ . This implies that if A is a regular polygon, then s(A)=∞ . In the other direction, we show that if s(A)=∞ , then A can be decomposed into finitely many symmetric trapezoids with the same angles. We introduce the following classification of tilings: a tiling is regular if Δ has two angles, α and β , such that at each vertex of the tiling the number of angles α is the same as that of β . Otherwise the tiling is irregular. We prove that for every polygon A the number of triangles that tile A irregularly is at most c ⋅ n 6 , where n is the number of vertices of A. If A has a regular tiling, then A can be decomposed into finitely many symmetric trapezoids with the same angles. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p411.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 437-445 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let F denote a family of pairwise disjoint convex sets in the plane. F is said to be in convex position if none of its members is contained in the convex hull of the union of the others. For any fixed k≥ 3 , we estimate P k (n) , the maximum size of a family F with the property that any k members of F are in convex position, but no n are. In particular, for k=3 , we improve the triply exponential upper bound of T. Bisztriczky and G. Fejes Tóth by showing that P 3 (n) 〈 16 n . 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p437.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 447-455 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The translative kissing number H(K) of a d -dimensional convex body K is the maximum number of mutually nonoverlapping translates of K which touch K . In this paper we show that there exists an absolute constant c 〉 0 such that H(K)≥ 2 cd for every positive integer d and every d -dimensional convex body K . We also prove a generalization of this result for pairs of centrally symmetric convex bodies. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p447.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 457-459 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let g(n) denote the least integer such that among any g(n) points in general position in the plane there are always n in convex position. In 1935, P. Erdős and G. Szekeres showed that g(n) exists and $2^{n-2}+1\le g(n)\le {2n-4\choose n-2}+1$ . Recently, the upper bound has been slightly improved by Chung and Graham and by Kleitman and Pachter. In this paper we further improve the upper bound to $$g(n)\le {2n-5\choose n-2}+2.$$ 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p457.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 461-469 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A geometric graph is a graph G=(V,E) drawn in the plane so that the vertex set V consists of points in general position and the edge set E consists of straight-line segments between points of V . Two edges of a geometric graph are said to be parallel if they are opposite sides of a convex quadrilateral. In this paper we show that, for any fixed k ≥ 3 , any geometric graph on n vertices with no k pairwise parallel edges contains at most O(n) edges, and any geometric graph on n vertices with no k pairwise crossing edges contains at most O(n log n) edges. We also prove a conjecture by Kupitz that any geometric graph on n vertices with no pair of parallel edges contains at most 2n-2 edges. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p461.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...