Filters








19 Hits in 13.1 sec

Using JULE to generate a compliance test suite for the UML standard

Panuchart Bunyakiati, Anthony Finkelstein, James Skene, Clovis Chapman
2008 Proceedings of the 13th international conference on Software engineering - ICSE '08  
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification -test suite generation.  ...  Hence, JULE efficiently generates a very small test suite while increasing the bound on the input size to the extent that is practical for certification purpose.  ...  We are grateful to the reviewers for their constructive suggestions and to the University of the Thai Chamber of Commerce for their funding of Panuchart Bunyakiati.  ... 
doi:10.1145/1368088.1368212 dblp:conf/icse/BunyakiatiFSC08 fatcat:o7cev5ckdnbslhf2igpb7vkmc4

The compliance testing of software tools with respect to the UML standards specification - The ArgoUML case study

Panuchart Bunyakiati, Anthony Finkelstein
2009 2009 ICSE Workshop on Automation of Software Test  
In this paper, a case study presented is an experiment on the use of a test suite generated from JULE to assess the compliance of an open source software tool -ArgoUML.  ...  In ICSE'08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications.  ...  Acknowledgement The authors would like to thank Tom Morris from the ArgoUML team for his constructive feedback, James Skene for his contributions to the development of JULE and Andy Maule for his helpful  ... 
doi:10.1109/iwast.2009.5069052 dblp:conf/icse/BunyakiatiF09 fatcat:qbqocbuwybcw7c6g72fraf3ywq

Standards compliance testing for unified modelling language tools

P. Bunyakiati, A. Finkelstein
2011 IET Software  
The Java-UML lightweight enumerator (JULE) tool realises this framework by providing a powerful technology to create a compliance test suite for modelling tools.  ...  JULE generates test cases only up to non-isomorphism to avoid combinatorial explosion. An experiment with respect to the UML 1.4 is presented in this study.  ...  Acknowledgments The authors would like to thank members of the ArgoUML team for constructive feedback in the ArgoUML case study, James Skene for his contributions to the development of JULE, Andrew Dingwall-Smith  ... 
doi:10.1049/iet-sen.2010.0032 fatcat:fkf67wkcird55ibpdtun47ehnu

The Certification of Software Tools with respect to Software Standards

Panuchart Bunyakiati, Anthony Finkelstein, David Rosenblum
2007 2007 IEEE International Conference on Information Reuse and Integration  
The objective of this work is to propose a framework for developing systematic, disciplined, and quantifiable certification schemes to assess the compliance of these tools to standards and to diagnose  ...  Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1] .  ...  We report two examples of the results on using JULE and Crocopat for generating the test suite. The first example continues our example on the uniqueness of the AssociationEnds.  ... 
doi:10.1109/iri.2007.4296706 dblp:conf/iri/BunyakiatiFR07 fatcat:mljbyh7pyfe7phifbd4jrcs4dy

Trust in MDE components

Benoît Baudry, Pierre Bazex, Jean-Charles Dalbin, Philippe Dhaussy, Hubert Dubois, Christian Percebois, Erwann Poupart, Laurent Sabatier
2010 Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems - S&D4RCES '10  
a methodology for the validation and qualification of such components.  ...  In order to tend towards this requirement, the DOMINO project (DOMaINs and methodological prOcess) proposes to use the socalled trustworthy Model-Driven Engineering (MDE) components and aims to provide  ...  Following this project, UML / OCL is now used, within an operational project, for the development of a verification tool dedicated to the control of signals for the bus 1553 used by a fly-by-wire software  ... 
doi:10.1145/1868433.1868436 fatcat:efzv7ykunfaqdpjylqmrsxgowq

Web engineering for workflow-based applications: models, systems and methodologies

Patrick Freudenstein
2009
Consequently, also the Lotus Forms suite adheres to various standards including XForms and XFDL.  ...  Due to the specification of the extensions in form of the presented UML Profile, all standard UML tools which support UML profiles, i.e.  ... 
doi:10.5445/ksp/1000012936 fatcat:4njml5eqazhxhhgq2d7zxp4cru

Web Engineering for Workflow-based Applications: Models, Systems and Methodologies

Patrick Freudenstein
2009
This dissertation presents novel solutions for the construction of Workflow-based Web applications: The Web Engineering DSL Framework, a stakeholder-oriented Web Engineering methodology based on Domain-Specific  ...  Languages; the Workflow DSL for the efficient engineering of Web-based Workflows with strong stakeholder involvement; the Dialog DSL for the usability-oriented development of advanced Web-based dialogs  ...  Acknowledgements Working towards this thesis, I received manifold support for which I am very grateful and would like to express my appreciation for.  ... 
doi:10.5445/ir/1000012659 fatcat:cjnai46mcbeedbbyt7mcpie6qy

How Sustainable Enterprises Can Drive The Sustainable Development

Patrizia Gazzola, Eka Sepashvili, Roberta Pezzetti
2018 European Scientific Journal  
Acknowledgement We wish to acknowledge Román Salgado Maximiliano, Ramirez Miranda María Alejandra, Jaimes Pérez Josué Iván, Martínez Carrillo Eligio, and González Torres Arturo for their advice, guidance  ...  Acknowledgements This work was supported by the Slovak Research and Development Agency under the contract No. APVV-15-0294.  ...  According to Booch (2002) , in that year only 5% of developers used UML in its projects and the majority used it for documentation.  ... 
doi:10.19044/esj.2018.c3p3 fatcat:bfdk5wm6wvbg5ann2tzuymivdq

Chairs: INTELLI Steering Committee INTELLI 2017 Committee INTELLI Steering Committee Program Committee Members

Leo Van Moergestel, Gil Goncalves, Sungshin Kim, Lars Braubach, Hochschule Bremen, Germany Leo Van Moergestel, Maiga Chang, Stefano Berretti, David Greenhalgh, Carsten Behn, Paolo Spagnolo, Gil Gonçalves (+102 others)
unpublished
Intelligence became a key paradigm and its specific use takes various forms according to the technology or the domain a system or an application belongs to.  ...  We are grateful to the members of the INTELLI 2017 organizing committee for their help in handling the logistics and for their work to make this professional meeting a success.  ...  ACKNOWLEDGMENT The authors would like to thank Ş imal Ş en, Sinan Kahraman, Deniz Sezen Gezmiş for annotations and feedbacks about chat bot and Nihan Karslıoglu for her support to improve the system.  ... 
fatcat:h5jggzqlc5eadkuq7nzpvtpgte

Wolne oprogramowanie QGIS i jego możliwości wykorzystania w edukacji

Paulina Pokojska, Wojciech Pokojski
2017 Edukacja – Technika – Informatyka  
The systematized experimental data was processed and tested according to the standard method of statistical randomization and independent testing of the results using the Microsoft Excel 2014 Analysis  ...  For this purpose, we used the test of significance for the two independent samples (Student's t-test) . Serve archived results of empirical significance (p-value).  ...  a certain school script, which is passed from generation to generation.  ... 
doi:10.15584/eti.2017.4.45 fatcat:7ktfbpdmprcklkhx2jfnj66j2i

Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD)

S.C. Shanahan
Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)  
This, in turn, may impact on forthcoming standards, for example where semantics/verification/compliance is an issue.  ...  UML.  ... 
doi:10.1109/hase.1996.618569 dblp:conf/hase/Shanahan96 fatcat:lckrrrueira7ddrhg7foposxmu

INTELLI 2014 Committee INTELLI Advisory Committee INTELLI 2014 Technical Program Committee

Pradeep Atrey, Jerzy Grzymala-Busse, Ingo Schwab, Firas Alnaimi, Paul Jeon, Samsung Electronics, Korea Kiyoshi Nitta, Yahoo Research, Japan, Stephan Puls, Paulo Couto, Yuichi Kawai (+122 others)
Technology and Research   unpublished
Intelligence became a key paradigm and its specific use takes various forms according to the technology or the domain a system or an application belongs to.  ...  We are grateful to the members of the INTELLI 2014 organizing committee for their help in handling the logistics and for their work to make this professional meeting a success.  ...  Special thanks go to Roco de Nicola (CNR), for the work on SCEL [8], Michele Loreti (University of Florence) for the work on jRESP [9], and Carlo.  ... 
fatcat:ersnkhyq7zbqnj4l7kjuzh54rm

AMBIENT Publicity Chairs

Maarten Weyn, Andreas Schrader, Jean Vareille, Tomasz Rutkowski, Keith Nesbitt, Gunver Majgaard, Daniel Berckmans, José Bravo, Castilla-La University, Shusaku Spain, Nomura, Gif Sur (+115 others)
unpublished
There is a need for behavioral changes for users to understand, accept, handle, and feel helped within the surrounding digital environments.  ...  We also gratefully thank the members of the AMBIENT 2015 organizing committee for their help in handling the logistics and for their work that made this professional meeting a success.  ...  ACKNOWLEDGEMENTS The financial support of Västra Götalandsregionen (VGR), grant number RUN 612-0197-13, is gratefully acknowledged.  ... 
fatcat:733xequbufdh3eujdskootc3ae

The techno-economic transformation towards a renewable energy system [article]

Leonard Göke, Technische Universität Berlin, Christian Von Hirschhausen
2021
As a result, high resolutions can be limited to the power sector to achieve a substantial reduction of computational complexity and capture the inherent flexibility of large-scale infrastructures.  ...  Following up on this, the third chapter introduces a novel graph-based formulation for bottom-up planning models.  ...  For this purpose, capacities computed with a reduced time-series are tested with regard to system costs and generation adequacy using a full time-series again.  ... 
doi:10.14279/depositonce-12500 fatcat:ag247osetzdl5glhjim4my2ybu

Easton Gazette, and Eastern Shore Intelligencer 05-1820

(:Unkn) Unknown
1820
How, four ""d tallant, his <£n sed to e country of ifo, Illant lition, and >] it-'ll at the modtafc Twenty-filial This Colt ha K. , but from b t he will btitt e will stand it [». t the Trappt a iience  ...  We are willing 'that a full expression of the will of thf people should take place We cannot, however, consent to march in the ranks ol those « horn we deem "corrupt in principle ami practice;" and we  ...  Test JOHN YOUNG, Reg. of Will* tor Caroline county. In compliance with the above order, ,s-proper tribunal, that he stitutional voter.  ... 
doi:10.13016/m28911r1c fatcat:es7zczatpjftdbp2uxrfpdgmfe
« Previous Showing results 1 — 15 out of 19 results