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.
Filters
Specifying Component-Based Java Applications
[chapter]
1999
Formal Methods for Open Object-Based Distributed Systems
Preserved Fulltext
We propose a interface specification language for Java modules and a methodology to support the design of Java components. ...
We show how such a notation helps in designing software systems built of Java components, like JavaBeans. P. Ciancarini et al. (eds.), Formal Methods for Open Object-Based Distributed Systems ...
We provide an interface specification language for the specification of modules written in Java, and explore the use of such a notation for the definition of components to be employed to design concrete ...
doi:10.1007/978-0-387-35562-7_9
fatcat:ifxgk3bqjbbgbiznygnm2d66d4
TOWARDS A CONTROL SOFTWARE DESIGN ENVIRONMENT USING A META-MODELLING TECHNIQUE
2002
IFAC Proceedings Volumes
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 novelty of this paper is mainly the integration of multi-disciplinary software tools into a control software design environment, namely the Integrated Design Notation (IDN). ...
An approach for generating Java code automatically from UML also is proposed. The Java code generated is tested on a real-time target hardware architecture. Copyright © 2002 IFAC ...
ACKNOWLEDGEMENTS The authors gratefully acknowledge the support of UK EPSRC (Grant GR/M55299) and collaborators in industry, University of Wales, Bangor and UMIST. ...
doi:10.3182/20020721-6-es-1901.00948
fatcat:4le43owqifedrfhtsgw4dlfdfy
A framework for early design and prototyping of service-oriented applications with design patterns
2016
Computer languages, systems & structures
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.
Moreover, service-oriented applications are hard to design and validate, and demand for new foundational theories, modeling notations and analysis techniques. ...
However, the service paradigm raises a bundle of problems that did not exist in traditional component-based development where abstraction, encapsulation, and modularity were the only main concerns. ...
It is based on the DPML (Design Pattern Modeling Language) notation for the specification of design patterns and their instantiation into UML design models. ...
doi:10.1016/j.cl.2016.07.001
fatcat:qn54ddhvyjg5vkc64pu3avsjua
Tiny- Notational Approach for Software Architecture Visualization
2012
International Journal of Computer Applications
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 proposed notations are easy to use and understand, and also several design aspects of components may be focused for domain specific analysis. ...
The "Tiny-Notations" are designed to specify the underlined concepts that a software entity, module and component belong to. ...
This research has been conducted with the support of academic visitors research grant, allocated by Universiti Teknologi Malaysia, under vote no. 4D046. ...
doi:10.5120/6095-8286
fatcat:sr4ev5cpjzbpzjcfnqrr2r6yhu
Reconfiguring the Structure of Component-Based Systems
2014
Acta Electrotechnica et Informatica
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.
We introduce component-based system architecture and basic software components. The main goal of this paper is to present a novel solution for component-based system design in UML language. ...
This solution is created as a plug-in for Eclipse IDE and the results of the work are tested in various practical examples. ...
Because the components are designed on a modular base, we can create diverse collection of components. The modularity of components has advantages not only for programmers but also for users. ...
doi:10.15546/aeei-2014-0016
fatcat:peggr55vprdipfjnqm6nfd7acq
Experiences with a Formal Method for Design and Automatic Checking of User Interfaces
2004
Model-Based User Interface
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 2022; you can also visit the original URL.
The file type is application/pdf.
Among the many people who have contributed to the design of VEG and of its toolkit, we specially thank Jean Berstel, Stefano Crespi Reghizzi, Gilles Roussel and Emanuele Mattaboni. ...
The VEG notation is based on describing a set of rules, each one defining the behavior of a component in a different state. ...
Semantic functions are designed for modeling this role. They are collected in a so-called Semantic Library and are written in a programming language such as Java. ...
dblp:conf/mbui/CampiMP04
fatcat:75nz6s53bfb25eg3prccaufxzm
A UML tool for an automatic generation of simulation programs
2000
Proceedings of the second international workshop on Software and performance - WOSP '00
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 2003; you can also visit the original URL.
The file type is application/pdf.
Its array of notations helps system designers to capture their ideas in a way that is expressive yet easy to understand. ...
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. ...
An application program based on the SAX approach has been built to read any XML notation that conforms to the SimML DTD. ...
doi:10.1145/350391.350408
dblp:conf/wosp/AriefS00
fatcat:4wde54fncbhgjefn7ema3feqra
Developing Java Card Applications with B
2007
Electronical Notes in Theoretical 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.
This work proposes a methodology for the rigorous development of Java Card smart card applications, using the B Method. ...
Its main feature is to abstract the particularities of Java Card and smart card aware applications from the specifier as much as possible. ...
Most of the applications require a high-degree of reliability, and make smart card aware software design a suitable application for formal methods. ...
doi:10.1016/j.entcs.2007.03.016
fatcat:pjtnn2nh6bd6vdhc2dglcvnd6e
XSED – XML-Based Description of Status–Event Components and Systems
[chapter]
2008
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.
This paper describes a collection of XML-based specification notations (called XSED) for describing, implementing and optimising systems that take account of this dual statusevent nature of the real world ...
These notations cover individual components, system configuration, and separated temporal annotations. ...
The Equator Component Toolkit [3] (ECT) is a collection of java bean 'components' that provides a library of tools for constructing interactive ubiquitous computing applications. ...
doi:10.1007/978-3-540-92698-6_13
fatcat:7ymwrbzc6jclbpbyjts23jrpjy
From Business to IT with SEAM: The J2EE Pet Store Example
2007
International Enterprise Distributed Object Computing Conference, Proceedings
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 2008; you can also visit the original URL.
The file type is application/pdf.
This paper illustrates how we represent the business role of an IT application and its platform-specific realization in SEAM. We use the Java Pet Store sample application as an example. ...
SEAM is a systemic visual approach for modeling systems, including information systems and organizations. ...
work also involves developing patterns for different platforms, such as .NET. Examples of the .NET Pet Store can be found in [20] , [21]. ...
doi:10.1109/edoc.2007.4384020
fatcat:nbcto5a3hvd6bn4pgvbh4gc3qq
From Business to IT with SEAM: The J2EE Pet Store Example
2007
11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)
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 2008; you can also visit the original URL.
The file type is application/pdf.
This paper illustrates how we represent the business role of an IT application and its platform-specific realization in SEAM. We use the Java Pet Store sample application as an example. ...
SEAM is a systemic visual approach for modeling systems, including information systems and organizations. ...
work also involves developing patterns for different platforms, such as .NET. Examples of the .NET Pet Store can be found in [20] , [21]. ...
doi:10.1109/edoc.2007.53
dblp:conf/edoc/RychkovaRLW07
fatcat:7neb3wer3rgmthi4n23nh4hztm
Model-based technology of software development in large
2015
Symposium on Programming Languages and Software Tools
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.
Components are introduced considering their functionality, but the implementability of a component is taken into account at the early stage of the design process only based on an experience of a designer ...
This is different from the block languages and model-based software tools on the market, which provide a set of components where the reusability of the components is an important requirement. ...
The implementability of a components can be taken into account only based on an experience of a designer. ...
dblp:conf/splst/TyuguP15
fatcat:uiimayffdfhcjo7f6riwdraheu
Customizing software development [Book Review]
2000
Computer
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.
The San Francisco Application Business Components project from IBM provides a platform-independent infrastructure and ready-built components for constructing business applications. ...
Object-oriented process, environment, and notation (OPEN) addresses the chal-lenge of migration, component integration, and Internet-based development, as well as high-level process and project management ...
doi:10.1109/mc.2000.863973
fatcat:khetrhstt5earpl3kwbphsmwim
Guidelines and a software tool for quality assessment of BPMN business process models
2022
Zenodo
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 2022; you can also visit the original URL.
The file type is application/pdf.
This paper considers the problem of quality measurement of Business Process Model and Notation business process models. ...
Therefore, this study proposes guidelines and a software tool for errors detection in business process models. ...
below outlines the UML component diagram of the application we created for the BPMN models assessment. : The component diagram of the developed application Depicted component diagram of the developed application ...
doi:10.5281/zenodo.6583820
fatcat:kich7ncirjdmncbumhlj7m32oe
Specifying and running rich graphical components with Loa
2012
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12
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 illustrate the specification and integration with the Loa framework as part of a global process for the design of interactive systems. ...
Interactive system designs often require the use of rich graphical components whose capabilities go beyond the set of widgets provided by GUI toolkits. ...
INTRODUCTION Building Rich Interactive Applications (RIA) often leads to the design of new graphical components. ...
doi:10.1145/2305484.2305513
dblp:conf/eics/BeaudouxCBYBJ12
fatcat:orkbf37tbzdn5bbzn3zkqe5tsq
« Previous
Showing results 1 — 15 out of 33,838 results