Hardware synthesis from requirement specifications

Author(s):  
K. Feyerabend ◽  
R. Schlor
2007 ◽  
Vol 15 (1) ◽  
pp. 191-197 ◽  
Author(s):  
Tor A. Johansen ◽  
Warren Jackson ◽  
Robert Schreiber ◽  
Petter Tondel

2021 ◽  
Author(s):  
Hadi Esmaeilzadeh ◽  
Soroush Ghodrati ◽  
Jie Gu ◽  
Shiyu Guo ◽  
Andrew B. Kahng ◽  
...  

INOVA-TIF ◽  
2020 ◽  
Vol 2 (1) ◽  
pp. 32
Author(s):  
Fahmi Alamsyah

<pre>Padang Restaurant (RM) or Warung Padang or Padang Restaurant is a food stall / restaurant / restaurant business that sells or serves a variety of Minangkabau culinary or cuisine originating from West Sumatra. With high mobility and technological advancements in this era will encourage people to want easy things in realizing their needs, one is looking for a Padang-eating house. Therefore, this research was built to create a Mobilegis-based Padang restaurant application using the location based service method and formula haversine formula that aims to facilitate Android smartphone users in finding and choosing the nearest Padang restaurant from the user's position and according to their choice. The system design used is the adaptive model method which includes the process activity phase which consists of scope, design, build, test and check presented in separate stages such as requirement specifications, software design, implementation, testing, etc. In the application the user is facilitated with there is a route feature that will guide to the Padang restaurant that has been previously selected. Conclusion What was obtained from this study was the result of the distribution of the Padang restaurant in the city of Bogor, the results of the analysis for calculating the distance of the nearest Padang restaurant using haversine. The results of the implementation of the distribution of Padang restaurants in the city of Bogor based on mobilegis.</pre>


2014 ◽  
Vol 08 (01) ◽  
pp. 47-65 ◽  
Author(s):  
Daniel Ott ◽  
Frank Houdek

Current Requirement Engineering research must face the need to deal with the increasing scale of today's requirement specifications. One important and recent research direction is handling the consistency assurance between large scale specifications and many additional regulations (e.g. national and international norms and standards), which the specifications must consider or satisfy. For example, the specification volume for a single electronic control unit (ECU) in the automotive domain sums up to 3000 to 5000 pages distributed over 30 to 300 individual documents (specification and regulations). In this work, we present an approach to automatically classify the requirements in a set of specification documents and regulations to content topics in order to improve review activities in identifying cross-document inconsistencies. An essential success criteria for this approach from an industrial perspective is a sufficient classification quality with minimal manual effort. In this paper, we show the results of an evaluation in the domain of automotive specifications at Mercedes-Benz passenger cars. The results show that one manually classified specification is sufficient to derive automatic classifications for other documents within this domain with satisfactory recall and precision. So, the approach of using content topics is not only effective but also efficient in large scale industrial environments.


Sign in / Sign up

Export Citation Format

Share Document