Filters








831 Hits in 9.1 sec

Applying Restricted English Grammar on Automotive Requirements—Does it Work? A Case Study [chapter]

Amalinda Post, Igor Menzel, Andreas Podelski
2011 Lecture Notes in Computer Science  
[Principal ideas/results] We did a case study over 289 informal behavioral requirements taken from the automotive context.  ...  Konrad and Cheng proposed a restricted English grammar that can be automatically translated to logics, but looks like natural language.  ...  This work investigates whether the restricted English grammar proposed by Konrad and Cheng [1] can be applied to the automotive context.  ... 
doi:10.1007/978-3-642-19858-8_17 fatcat:nl3eopomhjci3icejj7e4gsh2m

Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies [chapter]

Arnaud Hubaux, Quentin Boucher, Herman Hartmann, Raphaël Michel, Patrick Heymans
2011 Lecture Notes in Computer Science  
However, its benefits and limitations have not been empirically evaluated up to now. In this paper, we evaluate TVL with four cases from companies of different sizes and application domains.  ...  The study shows that practitioners can benefit from TVL. The participants appreciated the notation, the advantages of a textual language and considered the learning curve to be gentle.  ...  This work is sponsored by the Interuniversity Attraction Poles Programme of the Belgian State, Belgian Science Policy, under the MoVES project, the Walloon Region under the NAPLES and the FIRST DOC.A programmes  ... 
doi:10.1007/978-3-642-19440-5_23 fatcat:fx42v4gicvgijfg3zmbdzf2h7m

Terminological equivalence and variation in the EU multi-level jurisdiction: a case study on victims of crime

Katia Peruzzo
2014 The Interpreter and Translator Trainer  
an automotive handbook written in German and translated into English.  ...  as the starting point for the terminographic work make the type of work carried out here more similar to what Cabré calls "ad-hoc searches", i.e. searches that "are restricted to a single term or a small  ... 
doi:10.1080/1750399x.2014.937566 fatcat:hmxklsueq5anhbnukmi4ybwie4

Assessing transitions through socio-technical configuration analysis – a methodological framework and a case study in the water sector

Jonas Heiberg, Bernhard Truffer, Christian Binz
2022 Research Policy  
Classic accounts of transitions research have predominantly built on reconstructions of historical transition processes and in-depth case studies to identify and conceptualize socio-technical change.  ...  STCA provides a configurational and dynamic perspective on how social and technical elements get aligned into "configurations that work", allowing for the identification of differentiated transition trajectories  ...  The paper has furthermore strongly benefitted from comments on an earlier draft by two anonymous reviewers and by the editors of Research Policy.  ... 
doi:10.1016/j.respol.2021.104363 fatcat:dldb6pt7zzffbgpv36ck2lw23a

Reassessing the pattern-based approach for formalizing requirements in the automotive domain

Predrag Filipovikj, Mattias Nyberg, Guillermo Rodriguez-Navas
2014 2014 IEEE 22nd International Requirements Engineering Conference (RE)  
These patterns have been applied at least in one case study in the automotive domain [12] .  ...  The work by Konrad and Cheng also proposed a system of restricted English grammar, through which the requirements can be expressed in specification patterns more naturally from a linguistic point of view  ... 
doi:10.1109/re.2014.6912296 dblp:conf/re/FilipovikjNR14 fatcat:ooilkqgfobdhhfrljlw6ky6m3m

ReSA: An ontology-based requirement specification language tailored to automotive systems

Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES)  
However, automotive industry often relies on requirements specified in ambiguous natural language, sometimes in large and incomprehensible documents.  ...  Consequently, well-structured and unambiguously specified requirements are needed on all levels of abstraction, in order to enable early detection of possible design errors.  ...  : The Specification Pattern System (SPS) [2] is based on a restricted English grammar that has been recently extended to support requirements specification for automotive systems [3] [37] .  ... 
doi:10.1109/sies.2015.7185035 dblp:conf/sies/MahmudSL15 fatcat:3cgh2iwckff2hh4fw5vm4ta2mq

Model-based generation of natural language specifications [article]

Phan Vo Thu Nhat, Maria Spichkova
2016 arXiv   pre-print
To allow further formal analysis of the generated specification, we restrict English to its subset, Attempto Controlled English.  ...  This paper presents an ongoing work on generating natural language specifications from formal models.  ...  Section 2 describes the related work. Section 3 introduces the proposed framework and a a small case study to illustrate the ideas of the framework.  ... 
arXiv:1612.01680v1 fatcat:qb7d5flvdbfl5gfh2aptcxgqfe

Real-time specification patterns

Sascha Konrad, Betty H. C. Cheng
2005 Proceedings of the 27th international conference on Software engineering - ICSE '05  
Second, as a means to further facilitate the understanding of the meaning of a specification, we offer a structured English grammar that includes support for real-time properties.  ...  This paper makes two main contributions: First, based on an analysis of timing-based requirements of several industrial embedded system applications, we created real-time specification patterns in terms  ...  Acknowledgements The authors are grateful for feedback regarding this work and answers to our questions received from Laura K. Dillon, Stavros Tripakis, Sergio Yovine, and Laura A. Campbell.  ... 
doi:10.1145/1062455.1062526 dblp:conf/icse/KonradC05 fatcat:qbrndcevazezrijdiwdstiehja

Challenges for Work-Based Learning in Vocational Education and Training in the Nordic Countries [chapter]

Christian Helms Jørgensen
2015 Working and Learning in Times of Uncertainty  
This book series will appeal to an international audience as it engages with current and relevant empirical research, a range of theoretical perspectives and knowledge thus stimulating debate, discussion  ...  and knowledge dissemination in the field in a democratic and heterogeneous way.  ...  We made a grammar-book … we put it on the teachers' forum [online platform].  ... 
doi:10.1007/978-94-6300-244-8_12 fatcat:mcbpne3jt5aczbz5co7xpk6rpy

On systematically building a controlled natural language for functional requirements

Alvaro Veizaga, Mauricio Alferez, Damiano Torre, Mehrdad Sabetzadeh, Lionel Briand
2021 Empirical Software Engineering  
We rely on Grounded Theory for building Rimay and follow well-known guidelines for conducting and reporting industrial case study research.  ...  domains, and (3) an empirical evaluation of our CNL (Rimay) through an industrial case study.  ...  To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.  ... 
doi:10.1007/s10664-021-09956-6 pmid:34776756 pmcid:PMC8550625 fatcat:bwbqextvubbrjmiwvrixm4jpj4

An Assessment of Machine Translation for Vehicle Assembly Process Planning at Ford Motor Company [chapter]

Nestor Rychtyckyj
2002 Lecture Notes in Computer Science  
The expansion of DLMS beyond North America as part of the Global Study Process Allocation System (GSPAS) required us to develop a method to translate these build instructions from English to other languages  ...  This system, known as the Direct Labor Management System, utilizes a restricted subset of English called Standard Language as a tool for the writing of process build instructions for the North American  ...  Mike Boumansour, Randy Beckner, Jeff Miller, Juergen Koehler and a host of others who lent their assistance.  ... 
doi:10.1007/3-540-45820-4_21 fatcat:gar7gwazurg53duciq5x6ua7ty

Employer engagement in British secondary education: wage earning outcomes experienced by young adults

Anthony Mann, Christian Percy
2013 Journal of Education and Work  
Robust evaluations from the USA suggest a potential wage uplift of 6.5-25% but these evaluations do not directly comment on the UK approach, as they focus on highly specialised forms of education with  ...  A new 2011 survey associates wage returns and school-mediated employer contacts for 169 full-time 19-24-year-old workers on annual salaries within the UK environmentand suggests a link of 4.5% between  ...  Christian Percy works full time in strategy consulting but supports a range of academic and third sector activities alongside this in an independent capacity.  ... 
doi:10.1080/13639080.2013.769671 fatcat:cgehe2nngngulpd3x7ntswroba

Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH [chapter]

Amalinda Post, Jochen Hoenicke
2012 Lecture Notes in Computer Science  
We report on a feasibility study in the context of several automotive projects at Bosch.  ...  In this paper, we evaluate a tool chain to algorithmically analyze real-time requirements. According to this tool chain, one formalizes the requirements in a natural-language pattern system.  ...  that if P holds, then S holds as well Table 1 : Restricted English grammar based on the grammar given by Konrad and Cheng in [9] .  ... 
doi:10.1007/978-3-642-27705-4_18 fatcat:udsxooqdcfcf5mn63uvnr23vui

On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity

Steven O. Kimbrough, Scott A. Moore
1997 ACM Transactions on Information Systems  
on a formal language, a message management system (MMS) for an office environment, and a work management system.  ...  His research program focuses on office information systems, from the technology needed to make it possible to the theory underlying it.  ...  "What does that mean in English? The same thing it means in French.") The third stage of the speech act scenario is called the illocutionary act.  ... 
doi:10.1145/263479.263480 fatcat:sc4rz4hhuna4dh6yy2f6czww4i

On Systematically Building a Controlled Natural Language for Functional Requirements [article]

Alvaro Veizaga, Mauricio Alferez, Damiano Torre, Mehrdad Sabetzadeh, Lionel Briand
2020 arXiv   pre-print
[Method] We rely on Grounded Theory for building Rimay and follow well-known guidelines for conducting and reporting industrial case study research.  ...  the financial domain, (2) a CNL grammar to represent functional requirements; this grammar is derived from our experience in the financial domain, but should be applicable, possibly with adaptations, to  ...  We apply restrictions on vocabulary, grammar, and semantics.  ... 
arXiv:2005.01355v1 fatcat:regvgbegkfec3k6zdal6a5pelu
« Previous Showing results 1 — 15 out of 831 results