Now showing items 1-20 of 39

    • BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment 

      Luo, Zhaoyi; Atlee, Joanne M. (ACM, 2016-11)
      In model-driven engineering, developers express their solutions in domain-specific modelling languages (DSLs) that support domain-specific abstractions. Big-Step Modelling Languages (BSML) is a family of extended state-machine ...
    • A Comparison of the Declarative Modelling Languages B, Dash, and TLA+ 

      Abbassi, Ali; Bandali, Amin; Day, Nancy; Serna, Jose (IEEE, 2019-08)
      Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system func- tionality abstractly and concisely. We compare two well-used formal declarative modelling languages, B and TLA+, ...
    • Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages 

      Brzozowski, Janusz; Sinnamon, Corwin (Springer, 2017-03-06)
      A language L over an alphabet Σ is suffix-convex if, for any words x,y,z∈Σ∗, whenever z and xyz are in L, then so is yz. Suffix-convex languages include three special cases: left-ideal, suffix-closed, and suffix-free ...
    • Complexity of Proper Prefix-Convex Regular Languages 

      Brzozowski, Janusz; Sinnamon, Corwin (Springer, 2017-06-27)
      A language L over an alphabet Σ is prefix-convex if, for any words x,y,z∈Σ∗, whenever x and xyz are in L, then so is xy. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages, which were ...
    • Continuous Variable-Specic Resolutions of Feature Interactions 

      ZIbaeenejad, Mohammad Hadi; Zhang, Chi; Atlee, Joanne M. (ACM, 2017-09)
      Systems that are assembled from independently developed features suffer from feature interactions, in which features affect one another's behaviour in surprising ways. The Feature Interaction Problem results from trying ...
    • Creating Your Bubble: Personal Space On and Around Large Public Displays 

      Wallace, James R.; Iskander, Nancy; Lank, Edward (ACM, 2016-05)
      We describe an empirical study that explores how users establish and use personal space around large public displays (LPDs). Our study complements field studies in this space by more fully characterizing interpersonal ...
    • DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy 

      Serna, Jose; Day, Nancy A.; Farheen, Sabria (IEEE, 2017-09-04)
      We present DASH, a new language for describing formal behavioural models of requirements. DASH combines the ability to write abstract, declarative transitions (as in Z or Alloy) with a labelled control state hierarchy (as ...
    • Detecting Feature-Interaction Symptoms in Automotive Software Using Lightweight Analysis 

      Muscedere, Bryan J.; Hackman, Robert; Anbarnam, Davood; Atlee, Joanne M.; Davis, Ian J.; Godfrey, Michael W. (IEEE, 2019-02)
      Modern automotive software systems are large, com- plex, and feature rich; they can contain over 100 million lines of code, comprising hundreds of features distributed across multiple electronic control units (ECUs), all ...
    • Elements of Gameful Design Emerging from User Preferences 

      Fortes Tondello, Gustavo; Mora, Alberto; Nacke, Lennart (Association for Computing Machinery, 2017-10-15)
      Several studies have developed models to explain player preferences. These models have been developed for digital games; however, they have been frequently applied in gameful design (i.e., designing non-game applications ...
    • An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools 

      Pourali, Parsa; Atlee, Joanne M. (ACM, 2018-10)
      Software modelling is a challenging and error-prone task. Existing Model-Driven Engineering (MDE) tools provide modellers with little aid, partly because tool providers have not investigated users' difficulties through ...
    • Extracting Counterexamples from Transitive-Closure-Based Model Checking 

      Kember, Mitchell; Tran, Lynn; Gao, George; Day, Nancy (IEEE, 2019)
      We address the problem of how to extract counterexamples for the transitive-closure-based model checking (TCMC) technique. TCMC is a representation of the CTLFC (CTL with fairness constraints) model checking problem in ...
    • Finite Model Finding Using the Logic of Equality with Uninterpreted Functions 

      Vakili, Amirhossein; Day, Nancy A. (Springer, 2016)
      The problem of finite model finding, finding a satisfying model for a set of first-order logic formulas for a finite scope, is an important step in many verification techniques. In MACE-style solvers, the problem is mapped ...
    • A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models 

      Pourali, Parsa; Atlee, Joanne M. (IEEE, 2019-09)
      Model-Driven Engineering has been proposed to increase the productivity of developing a software system. Despite its benefits, it has not been fully adopted in the software industry. Research has shown that modelling tools ...
    • A Framework and Taxonomy of Videogame Playing Preferences 

      Fortes Tondello, Gustavo; Wehbe, Rina Renee; Orji, Rita; Ribeiro, Giovanni; Nacke, Lennart (Association for Computing Machinery, 2017-10-15)
      Player preferences for different gaming styles or game elements has been a topic of interest in human-computer interaction for over a decade. However, current models suggested by the extant literature are generally based ...
    • Incremental and Commutative Composition of State-Machine Models of Features 

      Beidu, Sandy; Atlee, Joanne M.; Shaker, Pourya (IEEE, 2015-05)
      In this paper, we present a technique for incre- mental and commutative composition of state-machine models of features, using the FeatureHouse framework. The inputs to FeatureHouse are feature state-machines (or state-machine ...
    • Juicy Haptic Design: Vibrotactile Embellishments Can Improve Player Experience in Games 

      Singhal, Tanay; Schneider, Oliver (ACM, 2021-05)
      Game designers and researchers employ a sophisticated language for producing great player experiences with concepts such as juici- ness, which refers to excessive positive feedback. However, much of their discourse excludes ...
    • Large Aperiodic Semigroups 

      Brzozowski, Janusz; Szykuła, Marek (World Scientific Publishing, 2015-11-01)
      We search for the largest syntactic semigroups of star-free languages having n left quotients; equivalently, we look for the largest transition semigroups of aperiodic finite automata with n states. We first introduce ...
    • Learning Filters for the 2D Wavelet Transform 

      Recoskie, Daniel; Mann, Richard (IEEE, 2018)
      We propose a new method for learning filters for the 2D discrete wavelet transform. We extend our previous work on the 1D wavelet transform in order to process images. We show that the 2D wavelet transform can be represented ...
    • Long-term Average Cost in Featured Transition Systems 

      Olaechea, Rafael; Fahrenberg, Uli; Atlee, Joanne M.; Legay, Axel (ACM, 2016-09)
      A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional or alternative) features. Family-based ...
    • Measuring Behaviour Interactions between Product-Line Features 

      Atlee, Joanne M.; Fahrenberg, Uli; Legay, Axel (IEEE, 2015-05)
      We suggest a method for measuring the degree to which features interact in feature-oriented software development. To this end, we extend the notion of simulation between transition systems to a similarity measure and lift ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages