A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
This paper investigates the impact of non-determinism and modularity on the complexity of incremental incorporation of safety requirements while preserving liveness (a.k.a. the problem of incremental synthesis ...
of realizing safety. ...
In this paper, we prove that non-determinism is not the major source of the complexity of incremental synthesis; rather it is modularization constraints that complicate the incremental synthesis of safety ...
doi:10.1007/978-3-319-24644-4_11
fatcat:53untalh2zenhnyfs6t4gyzeua
Seamless Object-Oriented Requirements
2019
2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The experiments rely on several examples, some of which are used as benchmarks in the requirements literature. ...
Concrete seamless object-oriented requirements inherit from these templates and become clients of the specified software. ...
Acknowledgment We are indebted to the authors of the ASM version of the LGS case study [AGR17] for their careful work on this problem. ...
doi:10.1109/sibircon48586.2019.8958211
fatcat:dpver5l7nfgrtnmqj4jqnt3avm
Editorial: Early aspects: aspect-oriented requirements engineering and architecture design
2004
IEE Proceedings - Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The primary goal of the workshop was to focus on challenges to defining methodical software development processes for aspects from early on in the software life cycle and explore the potential of proposed ...
This paper reports on the third Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design Workshop, which has been held in Lancaster, UK, on March 21, 2004. ...
Conor Ryan, Alan Gray, David McKitterick, Karl Quinn and Tonya McMorrow from the original Crystal Game development team, on which our case study was based, and Mary Lee for her work with early versions of ...
doi:10.1049/ip-sen:20041027
fatcat:zqxbrgz225c2djhxm72y7s754i
Utilizing Event-B for domain engineering: a critical analysis
2011
Requirements Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Safety-critical domains, like transportation, exhibit interesting features, such as high levels of non-determinism, complex interactions, stringent safety properties, multifaceted timing attributes, etc ...
Well-specified requirements are crucial for good software design; they depend on the understanding of the domain. Thus, domain engineering becomes an essential activity. ...
Motivation Most customers express their requirements either in natural language or in terms of scenarios. Most of the requirements engineering methodologies are therefore non-formal or semi formal. ...
doi:10.1007/s00766-011-0120-5
fatcat:zaqvk6whhbcjflonjj7eqn7nc4
Research Directions in Requirements Engineering
2007
Future of Software Engineering (FOSE '07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we review current requirements engineering (RE) research and identify future research directions suggested by emerging software needs. ...
The research is considered with respect to technologies developed to address specific requirements tasks, such as elicitation, modeling, and analysis. ...
They also need computing courses that teach them how to make design decisions that achieve requirements (e.g., modularity vs. performance requirements) in the context of the software's operating environment ...
doi:10.1109/fose.2007.17
dblp:conf/icse/ChengA07
fatcat:kaf5eipydjbkrc7q423dcpnim4
IIP-Ecosphere Platform – Requirements (Functional and Quality View)
2021
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The document comprises 141 requirements with a total of 181 sub-requirements in 14 topic areas and now serves to derive a common architecture as well as the realization of the IIP-Ecosphere platform. ...
The requirements are based on discussions with the partners and the (representatives of the) work packages or subprojects of IIP-Ecosphere, such as the demonstrators. ...
[T, Q] Explanation: Safety-critical hard real-time requirements are out of scope, especially in the IT domain. ...
doi:10.5281/zenodo.4485773
fatcat:udgipri4ubdynj6xjajzccpu2i
Integrating high-level requirements in optimization problems: theory and applications
2013
4OR
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The first task of systems design is to identify and organize the stakeholders' needs and to specify them in a clear set of requirements, namely a set of non ambiguous, testable and measurable features ...
The development of a system is always motivated by desiderata that are expressed by customers, end-users and other stakeholders who are external to the system to be realized. ...
However, non-behavioral requirements have an important role in ensuring the realization of high quality systems. ...
doi:10.1007/s10288-013-0243-2
fatcat:fdl3dax2zbcvtmmhx6uqhjxcfa
Requirements engineering in automotive development: experiences and challenges
2003
IEEE Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We argue that the issues presented here, while not necessarily being in the current focus of the requirements engineering research area, are of crucial importance for improving requirements engineering ...
as domainindependent issues which are largely independent from requirements content and related to the administration and management of requirements. ...
In particular, we would like to give special thanks to Matthias Hoffmann for his excellent comments on a draft of this paper. ...
doi:10.1109/ms.2003.1159025
fatcat:74vsf7ordrg4foaxqd44illcou
Handling obstacles in goal-oriented requirements engineering
2000
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The various techniques proposed are illustrated and assessed in the context of a real safety-critical system. ...
The lack of anticipation of exceptional behaviors results in unrealistic, unachievable and/or incomplete requirements. ...
They propose an approach based on an incremental and iterative analysis of requirements for safety-critical systems in the context of system faults and human errors. ...
doi:10.1109/32.879820
fatcat:ktahvs5wo5buhmccnedgawmr2e
Morphed vertical tailplane assessment for certification requirements
2015
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The results, opinions, conclusions, etc. presented in this work are those of the author(s) only and do not necessarily represent the position of the JU; the JU is not responsible for any use made of the ...
This paper therefore outlines what measures need to be taken to realize a PM starter/generator (S/G) that fulfils the aerospace safety requirements. ...
For this reason, the classical "incremental + 1g" approach is no longer valid for aerial delivery analyses and an "incremental + pseudo-1g" approach is required. ...
doi:10.5281/zenodo.3905083
fatcat:jegirrd5jbgeho7qtr7o3sfzpi
Analysis of the Technological Evolution of Materials Requirements Included in Reactor Pressure Vessel Manufacturing Codes
2021
Sustainability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Nuclear Regulatory Commission (NRC) Regulatory Guide (RG) 1.99 Rev.2 model, enables determination of the best materials options, corresponding to some of the most widely used material specifications such ...
The aim of this work is the analysis of historical advances in materials properties research and associated standardized design codes requirements. The analysis, based on the consolidated U.S. ...
Acknowledgments: This work has been realized in the framework of the activities of the Research Group of the UNED "Industrial Production and Manufacturing Engineering (IPME)"and the Industrial Research ...
doi:10.3390/su13105498
fatcat:aesmkg55xzcrfabrwbx64vkeym
Workshop on Aspects and Dimensions of Concern: Requirements on, and Challenge Problems for, Advanced Separation of Concerns
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The workshop produced the beginnings of a set of goals, requirements, and issues to be addressed by approaches to advanced separation of concerns. ...
Requirements statements highlight requirements on approaches to advanced separation of concerns, and they are generally illustrated with examples. ...
Several of these people also took primary responsibility for summarizing their groups' results, which greatly facilitated the writing of this report. ...
doi:10.1007/3-540-44555-2_16
fatcat:stfyq4f5ujax7cj45gvoi4kf4m
Designing Security and Privacy Requirements in Internet of Things: A Survey
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Due to above complexities, more often non-functional requirements (such as security and privacy) tend to get ignored in IoT application development process. ...
In this paper, we primarily focused on two different aspects: (1) design notations, models, and languages that facilitate capturing non-functional requirements (i.e., security and privacy), and (2) proactive ...
After that, the proposed problem is investigated to determine the proposed system scope. In analysis phase, requirements are determined, and some alternative designs are suggested and compared. ...
arXiv:1910.09911v1
fatcat:77tyqetnbfhynnhkrxjezwxq6a
D2.1 Requirements: context of application
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Increasing flexibility is key for the reliable operation of future power systems with very high penetration levels of Variable Renewable Energy Sources (VRES). ...
residential and tertiary buildings and a platform for effective and secure management of flexibility at the level of the distribution grid. ...
realized by a number of different technologies. ...
doi:10.5281/zenodo.3360544
fatcat:potmtsenqfb7tikxkc2jl4j73e
Sponsors and supporters
2011
2011 IEEE 19th International Requirements Engineering Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The key objective of ACSE 2004 is to explore innovative approaches to the adoption of proofof-concept systems by embedding them in extensions of Commercial Off-The-Shelf (COTS) products and/or using middleware ...
The ACSE series of events aims to advance the adoption of software engineering tools and techniques by bringing together researchers and practitioners who investigate novel approaches to fostering the ...
Dong Yuan at Department of Computer Science and Technology, Tsinghua University for exchanging the viewpoints. ...
doi:10.1109/re.2011.6051678
fatcat:3hulok5gnfemrfny7g5b7wgjcq
« Previous
Showing results 1 — 15 out of 3,844 results