Towards a Tool-based Development Methodology for Pervasive Computing Applications

Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed systems technologies, working out an architecture for the application, encoding it in a program, writing specific code to test the application, and finally deploying it. This paper presents a design language and a tool suite covering the development life-cycle of a pervasive computing application. The design language allows to define a taxonomy of area-specific building-blocks, abstracting over their heterogeneity. This language also includes a layer to define the architecture of an application, following an architectural pattern commonly used in the pervasive computing domain. Our underlying methodology assigns roles to the stakeholders, providing separation of concerns. Our tool suite includes a compiler that takes design artifacts written in our language as input and generates a programming framework that supports the subsequent development stages, namely implementation, testing, and deployment. Our methodology has been applied on a wide spectrum of areas. Based on these experiments, we assess our approach through three criteria: expressiveness, usability, and productivity

Aplikasi Peramalan Persediaan Buku Di PT Kanisius Pemasaran Palembang Menggunakan Algoritma Single Exponential Smoothing (SES)

Stock problem is a major problems in a companies, especially, for the company that engaget in marketing. The true problem at PT.Kanisius Pemasaran Palembang (KPP) in stocking goads, in the case books is the number of books that orderet to central company are unpredictable because the information of available books is uncertainly. To solving that problem, this study built a books forcasting system with single exponential smoothing (SES) method. This study using extreme programming (XP) methodology. System design using unified modeling language (UML) and the system implemented into PHP programming language. The data used in this study are data amount of book sales every month in a year at PT. Kanisius Pemasaran Palembang (KPP). The system works to determine alpha value first for forescasting, after that do the calculations to get forescasting values. The result from forescasting values will be measured the error degree using MAD, MSE, and moving range

Quantitative analysis of multi-periodic supply chain contracts with options via stochastic programming

We propose a stochastic programming approach for quantitative analysis of supply contracts, involving flexibility, between a buyer and a supplier, in a supply chain framework. Specifically, we consider the case of multi-periodic contracts in the face of correlated demands. To design such contracts, one has to estimate the savings or costs induced for both parties, as well as the optimal orders and commitments. We show how to model the stochastic process of the demand and the decision problem for both parties using the algebraic modeling language AMPL. The resulting linear programs are solved with a commercial linear programming solver; we compute the economic performance of these contracts, giving evidence that this methodology allows to gain insight into realistic problems.stochastic programming; supply contract; linear programming; modeling software; decision tree

Authoring a Web‐enhanced interface for a new language‐learning environment

This paper presents conceptual considerations underpinning a design process set up to develop an applicable and usable interface as well as defining parameters for a new and versatile Computer Assisted Language Learning (CALL) environment. Based on a multidisciplinary expertise combining Human Computer Interaction (HCI), Web‐based Java programming, CALL authoring and language teaching expertise, it strives to generate new CALL‐enhanced curriculum developments in language learning. The originality of the approach rests on its design rationale established on the strength of previously identified student requirements and authoring needs identifying inherent design weaknesses and interactive limitations of existing hypermedia CALL applications (Hémard, 1998). At the student level, the emphasis is placed on three important design decisions related to the design of the interface, student interaction and usability. Thus, particular attention is given to design considerations focusing on the need to (a) develop a readily recognizable, professionally robust and intuitive interface, (b) provide a student‐controlled navigational space based on a mixed learning environment approach, and (c) promote a flexible, network‐based, access mode reconciling classroom with open access exploitations. At the author level, design considerations are essentially orientated towards adaptability and flexibility with the integration of authoring facilities, requiring no specific authoring skills, to cater for and support the need for a flexible approach adaptable to specific language‐learning environments. This paper elaborates on these conceptual considerations within the design process with particular emphasis on the adopted principled methodology and resulting design decisions and solutions

The Use of Metaphors as a Parametric Design Teaching Model: A Case Study

Teaching methodologies for parametric design are being researched all over the world, since there is a growing demand for computer programming logic and its fabrication process in architectural education. The computer programming courses in architectural education are usually done in a very short period of time, and so students have no chance to create their own designs. This paper describes a course in which metaphors are used as a teaching methodology in parametric design, in order to let students create their own designs and learn the basic elements of parametric programming language in a short period of time with deductive reasoning. In this course, it was intended to teach visual programming language to undergraduates. Advancing under the metaphor theoretical framework, the students obtained experience in achieving form-finding process for their projects in accord with the certain constraints. Using this methodology, the students, who experienced all design stages from 3D modeling to the digital fabrication, additionally were able to develop their ability for versatile thinking and the use of more than one tool in combination, in the early years of their architectural education

Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal

Context Generic programming, as defined by Stepanov, is a methodology for writing efficient and reusable algorithms by considering only the required properties of their underlying data types and operations. Generic programming has proven to be an effective means of constructing libraries of reusable software components in languages that support it. Generics-related language design choices play a major role in how conducive generic programming is in practice. Inquiry Several mainstream programming languages (e.g. Java and C++) were first created without generics; features to support generic programming were added later, gradually. Much of the existing literature on supporting generic programming focuses thus on retrofitting generic programming into existing languages and identifying related implementation challenges. Is the programming experience significantly better, or different when programming with a language designed for generic programming without limitations from prior language design choices? Approach We examine Magnolia, a language designed to embody generic programming. Magnolia is representative of an approach to language design rooted in algebraic specifications. We repeat a well-known experiment, where we put Magnolia’s generic programming facilities under scrutiny by implementing a subset of the Boost Graph Library, and reflect on our development experience. Knowledge We discover that the idioms identified as key features for supporting Stepanov-style generic programming in the previous studies and work on the topic do not tell a full story. We clarify which of them are more of a means to an end, rather than fundamental features for supporting generic programming. Based on the development experience with Magnolia, we identify variadics as an additional key feature for generic programming and point out limitations and challenges of genericity by property. Grounding Our work uses a well-known framework for evaluating the generic programming facilities of a language from the literature to evaluate the algebraic approach through Magnolia, and we draw comparisons with well-known programming languages. Importance This work gives a fresh perspective on generic programming, and clarifies what are fundamental language properties and their trade-offs when considering supporting Stepanov-style generic programming. The understanding of how to set the ground for generic programming will inform future language design.publishedVersio

SISTEM INFORMASI MANAJEMEN SURAT BERBASIS WEB MENGGUNAKAN METODE EXTREME PROGRAMMING PADA KOREM 044/GAPO PALEMBANG

This study discusses a web-based mail management information system using the Extreme Programming method at Korem 044/Gapo Palembang. The system development method used in this study is the Extreme Programming (XP) methodology. There are four stages contained in the XP methodology, namely Planning, Design, Coding, and Testing. Observations, interviews, and literature studies are the techniques used to collect data in this study. The system design tool used in this study is the Unified Modeling Language (UML). Visual Studio Code and XAMPP are the main software for creating web programs. The testing method used in this research is the blackbox testing method. This research succeeded in producing a web-based mail management information system that was created using the Extreme Programming method for expensive use in the Infolahta Korem 044/Gapo Palembang

Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands

To understand diverse natural language commands, virtual assistants today are trained with numerous labor-intensive, manually annotated sentences. This paper presents a methodology and the Genie toolkit that can handle new compound commands with significantly less manual effort. We advocate formalizing the capability of virtual assistants with a Virtual Assistant Programming Language (VAPL) and using a neural semantic parser to translate natural language into VAPL code. Genie needs only a small realistic set of input sentences for validating the neural model. Developers write templates to synthesize data; Genie uses crowdsourced paraphrases and data augmentation, along with the synthesized data, to train a semantic parser. We also propose design principles that make VAPL languages amenable to natural language translation. We apply these principles to revise ThingTalk, the language used by the Almond virtual assistant. We use Genie to build the first semantic parser that can support compound virtual assistants commands with unquoted free-form parameters. Genie achieves a 62% accuracy on realistic user inputs. We demonstrate Genie's generality by showing a 19% and 31% improvement over the previous state of the art on a music skill, aggregate functions, and access control.Comment: To appear in PLDI 201