Results 11 to 20 of about 566,633 (340)
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an
Gurvan Le Guernic +2 more
doaj +1 more source
Rascal: From Algebraic Specification to Meta-Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on ...
Jeroen van den Bos +4 more
doaj +1 more source
Effect of requirements specification using native language on external software quality
IET Software, 2023 In the context of requirements specification in Global Software Development, aspects such as differences in culture, language and schedule affect software development teams; however, we do not know the effect of these issues.
Fernando Uyaguari +4 more
doaj +1 more source
IET Cyber-Physical Systems, 2018 Vehicle computers, Internet of Things and cyber-physical systems are all examples of electronic devices in which embedded systems require greater flexibility to process different types of applications and communication protocols.
Rafael Melo Macieira, Edna Barros
doaj +1 more source
Specification and Construction of Control Flow Semantics [PDF]
, 2006 In this paper we propose a visual language CFSL for specifying control flow semantics of programming languages. We also present a translation from CFSL to graph production systems (GPS) for flow graph construction; that is, any CFSL specification, say ...
Kastenberg, H., Rensink, A., Smelik, R.
core +4 more sources
Applied Sciences, 2023 The Internet of Things (IoT) systems are inherently distributed with many concurrent behaviors. In order to apply behavior-driven development (BDD), a proven agile practice of software development that brings many benefits, we must ensure that the ...
Bing-Yun Wang +2 more
doaj +1 more source
LaSER: Language-specific event recommendation
Journal of Web Semantics, 2023 While societal events often impact people worldwide, a significant fraction of events has a local focus that primarily affects specific language communities. Examples include national elections, the development of the Coronavirus pandemic in different countries, and local film festivals such as the César Awards in France and the Moscow International ...
Abdollahi, Sara +2 more
openaire +3 more sources
On Formal Specification of Maple Programs [PDF]
, 2012 This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal of this work is to define
Khan, Muhammad Taimoor +1 more
core +1 more source
Specific Language Impairment Across Languages [PDF]
Child Development Perspectives, 2013 Abstract Children with specific language impairment ( SLI ) have a significant and longstanding deficit in spoken language ability that adversely affects their social and academic well‐being.
openaire +2 more sources
Modal Specifications for Probabilistic Timed Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reasoning.
Tingting Han +3 more
doaj +1 more source