Results 31 to 40 of about 87,331 (292)
Towards an MDA-based approach for development of a structural scope of the presentation layer
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2009 This paper presents an approach for developing the presentation layer of software applications. The approach is based on the concept of the Model Driven Architecture (MDA) and uses a UML – based model of graphical user interfaces, which is created ...
Jan Kryštof
doaj +1 more source
ComTech, 2014 This study is intended to generate an application tools (CASE tools) that allows a software developer to create a modeling system design using Unified Modeling Language (UML), especially in making use case, activity or class diagrams more quickly and ...
Mohammad Subekti +3 more
doaj +1 more source
Extended distributed UML-based protocol synthesis method
, 2014 Synthesizing specifications for real time applications that involve distributed communication protocol entities from a service specification, which is modeled in the UML state machine with composite states, is a time-consuming and labor-intensive task ...
Dallal, Jehad Al
core +1 more source
Secured Workstation to Process the Data of Different Classification Levels
Journal of Telecommunications and Information Technology, 2012 The paper presents some of the results obtained within the ongoing project related with functional requirements and design models of secure workstation for special applications (SWSA).
Zbigniew Zieliński +4 more
doaj +1 more source
Biosensors, 2022 An electrochemical aptasensor has been developed to determine breast cancer biomarkers (CA 15-3). Aptamer chains were immobilized on the surface of the electrode by g-C3N4/Fe3O4 nanoparticles, which increased the conductivity and active surface area of ...
Mehrab Pourmadadi +7 more
doaj +1 more source
TURTLE-P: a UML profile for the formal validation of critical and distributed systems [PDF]
, 2006 The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS.
Apvrille, Ludovic +2 more
core +1 more source
FEBS Letters, EarlyView.Cells must clear mislocalized or faulty proteins from membranes to survive. The AAA+ ATPase Msp1 performs this task, but dissecting how its six subunits work together is challenging. We engineered linked dimers with varied numbers of functional subunits to reveal how Msp1 subunits cooperate and use energy to extract proteins from the lipid bilayer ...
Deepika Gaur +5 more
wiley +1 more source
On the Execution and Runtime Verification of UML Activity Diagrams
SoftwareThe unified modelling language (UML) is an industrial de facto standard for system modelling. It consists of a set of graphical notations (also known as diagrams) and has been used widely in many industrial applications.
François Siewe, Guy Merlin Ngounou
doaj +1 more source
Towards a Step Semantics for Story-Driven Modelling [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Graph Transformation (GraTra) provides a formal, declarative means of specifying model transformation. In practice, GraTra rule applications are often programmed via an additional language with which the order of rule applications can be suitably ...
Géza Kulcsár, Anthony Anjorin
doaj +1 more source
MDA-based ATL transformation to generate MVC 2 web models
, 2011 Development and maintenance of Web application is still a complex and error-prone process. We need integrated techniques and tool support for automated generation of Web systems and a ready prescription for easy maintenance.
Rahmouni, M'hamed
core +1 more source