Search Results

This paper aims to present an upgraded "Stubs and Drivers Generating Tool" from our previous research [1] which proposed a web-application for generating stubs and drivers for unit testing. However, the tool has limitations in generating stubs and ...

Controlling asset-access has traditionally been considered a matter for systems in which assets reside. Centralized approaches to access control are, however, problematic for the IoT. One reason for this is that devices may not be confined to a single ...

Recursive solutions to problems are important in teaching computing concepts, particularly in data structures. We can trace linked lists to LISP where their definition is recursive in nature. As we continued to teach these concepts, implementation of ...

Due to its tremendous advantages, microservice architectural style has become an essential element for the development of applications deployed on the cloud and for those adopting the DevOps practices. Migrating existing applications to ...

Cloud Computing delivers to customers computing/storage resources as services via the internet. It is characterized by its elastic nature and its payment model (pay-as-you-go). To optimize the use of these resources, one of the requirements related to ...

This paper presents a novel method based on object-oriented MSVL for verification of composite Web services described by OWL-S. First, object-oriented MSVL, an executable temporal logic language for modelling, is briefly presented. Secondly, modelling ...

Search-based approaches are successfully used for generating unit tests for object-oriented programs in Java. However, these approaches may struggle to generate sequence method calls with specific values to achieve high coverage due to the large size of ...

Interfaces are widely used in Java applications as central design elements for modular programming to increase program reusability and to ease maintainability of software systems. Despite the importance of interfaces and a considerable research effort ...

This paper presents a novel method for verification composite Web services described by OWL-S in object oriented MSVL. First, a temporal logic programming language object-oriented MSVL is briefly introduced. Secondly, modeling rules based on object-...

Currently, many universities are equipping information facilities, the informatization construction on which the basis of Internet and the information service in the campus begins. The smart campus is an advanced stage in the construction of campus ...

In the design of database-based application, effective use of object-oriented programming methodology to optimize the database access code is related to the structure and maintainability of the entire application. Without proper optimization of the ...

This research aims to propose a universalframework and to model slight location-based services (LBS) design components, which are generated by UML.Furthermore, these components can be combined with a LBS process of design and then to execute process ...

Requirements trace ability ensures that source code is consistent with documentation and that all requirements have been implemented. During software evolution, features are added, removed, or modified, the code drifts away from its original ...

This paper presents a formal executable semantics of object-oriented models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing it within the expressive intersection of the functional programming language ...

The main features of a software to simulate power plants are presented. Based on the object-oriented paradigm, a set of generic elements related with the main components required to simulate power plants were designed, developed and tested, these ...

This paper introduces the State-Based Object Petri Net (SBOPN), and based on aforementioned, we choose SBOPN to formalize the UML and gave the mechanism and corresponding algorithms that can be used to map statechart diagrams and collaboration diagram ...

In the area of Research on access control technology, high attention has been paid on the role-based access control (RBAC) because of its high flexibility and high security. This paper will propose an Object-Oriented RBAC model which is suitable for the ...

Map projection transformation is the important part of cartography, and plays the key role in GIS. With the continuous updating and improvement on geographical data, it has become very urgent to meet the demand of assimilating geographic information by ...

The World Wide Web has become one of the fastest growing electronic information sources. Yet, people access to knowledge is not a corresponding increase in efficiency. In order to improve efficiency, in this paper, the knowledge resources in the network ...

The sequence diagram is one of the most popular behaviour modelling languages which offers an intuitive and visual way of describing expected behaviour of Object-Oriented software. Much research work has investigated ways of providing a formal semantics ...