The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 7071 of Mathematical Reviews Vol. , Issue 92m
[page]
1992
Mathematical Reviews
Preserved Fulltext
Horst Reichel (Dresden)
92m:68077 68Q60
Yodaiken, Victor (1-MA-C)
Modal functions for concise definition of state machines and products.
Inform. Process. Lett. 40 (1991), no. 2, 65-72. ...
State system definitions in terms of modal functions are often a great deal more concise and intuitively transparent than the corresponding definitions in terms of traditional techniques.”
92m:68078 68Q65 ...
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems
[chapter]
2019
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 2019; you can also visit the original URL.
The file type is application/pdf.
To this end, we propose a novel notion of refinement for 1MTSs that makes them more suitable for specifying variability for software product lines and prove its various essential properties. ...
Product line calculus of communicating systems (PL-CCSs) is a process calculus proposed to model the behavior of software product lines. ...
Fig. 1 : 1 1MTS for vending machine product line.
Definition 2 ( 2 Choice Function). Let A be a set, and B ✓ 2 A and : B ! A. Then is a choice function if 8 b2B : (b) 2 b. ...
doi:10.1007/978-3-030-10801-4_38
fatcat:jwo5z64n2fddpdukzqri5noecu
Family-Based SPL Model Checking Using Parity Games with Variability
[chapter]
2020
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 2020; you can also visit the original URL.
The file type is application/pdf.
Family-based SPL model checking concerns the simultaneous verification of multiple product models, aiming to improve on enumerative product-based verification, by capitalising on the common features and ...
, by reducing the SPL model checking problem for the modal µ-calculus on FTSs to the variability parity game solving problem, based on an encoding of FTSs as variability parity games. ...
Definition 10. Let F = (S, θ F , s 0 ) be an FTS, let P be the set of all products, and let φ be a closed modal µ-calculus formula. ...
doi:10.1007/978-3-030-45234-6_12
fatcat:g2kc5ihzxrfp7lkri264pabzsq
Model checking partial software product line designs
2014
Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices - InnoSWDev 2014
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.
To this end, we first propose bilatticebased feature transitions systems (BFTSs) for modeling partial software product line designs, which support description of uncertainty and preserve features as a ...
Software product line (SPL) maximizes commonality between software products to reduce cost and improve productivity, where each product is represented by a selection of features that corresponds to particular ...
We thank Mingyu Huang for his help with the experiments. This work has been financially supported by the National Natural Science ...
doi:10.1145/2666581.2666589
dblp:conf/sigsoft/ShiWZ14
fatcat:3bq66iw2wjdc3kroo2od275p3u
From Featured Transition Systems to Modal Transition Systems with Variability Constraints
[chapter]
2015
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 2018; you can also visit the original URL.
The file type is application/pdf.
Second, it paves the way to compare the modelling and analysis of product line behaviour in two different settings. ...
Both formal models are widely used in the field of software product line engineering and both come with a dedicated model checker. The transformation serves two purposes. ...
Acknowledgments We thank the anonymous reviewers for their useful comments.
References ...
doi:10.1007/978-3-319-22969-0_24
fatcat:4uhpptxbsnce3ef3jc4osgkcey
Diamonds are not forever: Liveness in reactive programming with guarded recursion
[article]
2020
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.
Other Versions
such as causality and productivity. ...
When designing languages for functional reactive programming (FRP) the main challenge is to provide the user with a simple, flexible interface for writing programs on a high level of abstraction while ...
Analogously to the set of machine states S(A, β) for stream types, we define the following set U (A, B, α, β) for until types: U (A, B, α, β) = t; η t ∈ T A U B (η , ∅, α, β) This definition allows us ...
arXiv:2003.03170v2
fatcat:axmabcpgcvbnzfebkmam77mkye
Computational Complexity of Deciding Provability in Linear Logic and its Fragments
[article]
2021
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 2021; you can also visit the original URL.
The file type is application/pdf.
We present the current state of the complexity-theoretic characterization of the most important fragments of linear logic. ...
Linear logic has, for example, found applications in proof theory, quantum logic, and the theory of programming languages. ...
To give a more concise notation for the cartesian product of a Petri net, we employ the grid notation, an example of which can be seen in Figure . . ...
arXiv:2110.00562v1
fatcat:a6sidawnbjh5jpf2cvrermfrcy
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming without Space Leaks
[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.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1903.05879v1 fatcat:cmhziy2wlbeojapuk3jktcmt4u
Functional reactive programming (FRP) is a paradigm for programming with signals and events, allowing the user to describe reactive programs on a high level of abstraction. ...
Unlike prior calculi, Simply RaTT uses a Fitch-style approach to modal types, which simplifies the type system and makes programs more concise. ...
This is close to the behaviour of our machine (and would in fact be a safe alternative definition). ...
arXiv:1903.05879v2
fatcat:46byqk6geffdppj56cl3c4rbim
Acoustics: An Introduction to Its Physical Principles and Applications
1984
Journal of Vibration and Acoustics
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 chapter ends with Fourier series, Dirac delta function, transfer function, and Weiner-Khintchine theory. A good chapter, but not meant for casual reading. ...
The last section is a product application workshop where the various instrument and manufacturers of vibration and noise control material explained the virtues of their products. ...
doi:10.1115/1.3269197
fatcat:45klleng2zcdpcdxqs6fb7vcxi
Diamonds are not forever: liveness in reactive programming with guarded recursion
2021
Proceedings of the ACM on Programming Languages (PACMPL)
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.
such as causality and productivity. ...
When designing languages for functional reactive programming (FRP) the main challenge is to provide the user with a simple, flexible interface for writing programs on a high level of abstraction while ...
The null store • is used for a special state of the machine in which it can neither write to the store, nor read from it. ...
doi:10.1145/3434283
fatcat:eiuuhwhcvvewbnyfxzb3rxcqie
A domain-specific textual language for rapid prototyping of multimodal interactive systems
2014
Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems - EICS '14
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 2018; you can also visit the original URL.
The file type is application/pdf.
The toolkit detects the occurrence of these patterns and invokes the functionality of a back-end system in response. ...
There are currently toolkits that allow the specification of executable multimodal human-machine interaction models. ...
For ease of exposition, we will not directly refer to the finite state machine but to its graphical form: the state diagram. ...
doi:10.1145/2607023.2607036
dblp:conf/eics/CuencaBLC14
fatcat:64dlhkagtvbtdfliymuuys56aq
A modular formal semantics for Ptolemy
2013
Mathematical Structures 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.
This paper defines formally the directors for the following models of computation: Synchronous-Reactive, Discrete Event, Continuous Time, Process Networks, and Modal Models. ...
In particular, all actors conform to an executable interface that contains four functions: fire (produce outputs given current state and inputs), postfire (update state instantaneously), deadline (how ...
), extended state machines (ESM), and modal models (MM). ...
doi:10.1017/s0960129512000278
fatcat:5boxvkogbjgn7gktclzvpqs6ba
All-at-once-synthesis of controllers from scenario-based product line specifications
2015
Proceedings of the 19th International Conference on Software Product Line - SPLC '15
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 2016; you can also visit the original URL.
The file type is application/pdf.
We propose a scenario-based approach to design SPLs, based on a combination of Modal Sequence Diagrams (MSDs) and a feature model. ...
An additional dimension of complexity arises when one designs many variants of a system at once, that is, a software product line (SPL). ...
a controller for an individual product, we can keep a concise representation for the controllers of all products. ...
doi:10.1145/2791060.2791111
dblp:conf/splc/CordyDGGH15
fatcat:fjww4xvebrbbrn6e7qddtgtj7q
A Vision for Behavioural Model-Driven Validation of Software Product Lines
[chapter]
2012
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.
We present our vision for a unified framework combining model-checking and testing approaches applied to behavioural models of SPLs. ...
The Software Product Lines (SPLs) paradigm promises faster development cycles and increased quality by systematically reusing software assets. ...
SDVAs thus combine the modelling constructs of state machines with the conciseness of FTSs (when it comes to representing the behaviour of a set of products). ...
doi:10.1007/978-3-642-34026-0_16
fatcat:2ztg6bzn35hl7a2ckafveuudna
Using FMC for family-based analysis of software product lines
2015
Proceedings of the 19th International Conference on Software Product Line - SPLC '15
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 show how this feature can be used to tailor formulas to the verification of only a specific subset of products of a Software Product Line, thus allowing for scalable family-based analyses with FMC. ...
We show how the FMC model checker can successfully be used to model and analyze behavioural variability in Software Product Lines. ...
ACKNOWLEDGEMENTS Research supported by EU project QUANTICOL (600708) and Italian MIUR project CINA (PRIN 2010LHT4KM). We thank the anonymous reviewers for their useful comments. ...
doi:10.1145/2791060.2791118
dblp:conf/splc/BeekFGM15
fatcat:hzkuxy4g2bca7j3rnqg2ncqdqq
« Previous
Showing results 1 — 15 out of 8,607 results