The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Ontologies in the Software Engineering domain can improve the acquisition of knowledge in this field by providing a formal representation of this knowledge domain. When encoded in a XML-based format, ontologies can therefore be easily processed by a knowledge management system, an expert system or a browser so it is possible to facilitate the location of Software Engineering resources in repositories...
As software services become the dominant platform for enterprise computing and B2B/B2C applications, testing their correctness and dependability assumes ever more importance. However, unlike the languages used to define and realize them, the languages used to test service-based systems have changed little over recent years. Today, tests for services and service-oriented architectures are still typically...
The study of similarity measurement has long been a fundamental part of natural language processing. Similarity measurement usage is increasing day by day in Information Extraction. Moreover, determining similarity measurement between two or more sets of information is facing problem in web mining. Traditional information retrieval approaches may not always find out the right match of exact concepts...
Automated support for software architecture design is discussed. The proposed approach is based on a tool applying genetic algorithms for producing potential architecture proposals. The tool requires a basic functional decomposition of the system and the specification of the quality requirements as input, relying on a repository of standard solutions like patterns and architectural styles. The underlying...
Automotive infotainment systems were getting more and more features in recent years. The usability of their HMIs (human-machine interfaces) has been improved considerably. However the complexity of the HMI software is growing. Testing the HMI became very demanding and time consuming. Because of multiplicity of HMI variants, a better code coverage is a goal for the development process of most manufacturers...
Several methods for automatic test case generation have been proposed in the past. But most of these techniques are structural testing techniques that require the understanding of the internal working of the program. We propose a generic framework for automating test suite generation based on decision tables which is a black-box testing technique. Although, decision table is an old technique for testing,...
Guaranteeing timing properties is an important issue as we develop safety-critical real-time systems such as cardiac pacemakers. We present a safety assured development approach of real-time software using a pacemaker as our case study. Following the model-driven development techniques, measurement-based timing analysis is used to guarantee timing properties in implementation as well as in the formal...
In designing real time software, system designers need to find out the time budget to allocate to each action of real time tasks so that the tasks can meet their deadlines. Our solution to this problem involves representing the execution time of the actions as parameters, then analyzing the collaborative behavior of those real time tasks. This paper proposes parametric timed models of real time tasks...
Measuring software quality in terms of fault proneness of data can help the tomorrow's programmers to predict the fault prone areas in the projects before development. Knowing the faulty areas early from previous developed projects can be used to allocate experienced professionals for development of fault prone modules. Experienced persons can emphasize the faulty areas and can get the solutions in...
Formal specification and verification of complex realtime component systems' behavior can efficiently improve the systems' correctness and reliability. This paper analyzed the formal specification and verification languages of components' timed behavior. Based on the analysis we extended behavior protocol (BP) used in SOFA component model by incorporating timing constraint information and new operations...
In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions that these services must fulfill, such as real-time constraints. In this work we present a visual model that allows us to specify e-contracts in a user friendly way, including conditional behavior and realtime constraints. A case study...
During a standard software development process, organizations create text-based documents that describe software requirements, design, and implementation. These text-based specifications describe the functionality of future applications as they relate to an existing IT infrastructure. We suggest that these documents also implicitly describe core underlying service-based capabilities of the organization...
This paper presents an algebraic specification language for the formal specification of the semantics of web services. A set of rules for transforming WSDL into algebraic structures is proposed. Its practical usability is also demonstrated by an example.
Software automation has been viewed as a revolutionary way to improve the dependability and productivity of software. The paper takes the sorting algorithms as study cases, employs PAR method and generic techniques, and derives two abstract generic sorting algorithmic programs, from which a class of concrete sorting algorithmic programs can be generated automatically through operation replacement...
Change management or configuration management is becoming necessity for every facet of software system development. Traceability of objects i.e. artifacts or information units becomes core talent for authentic determination of the parametric information over the explicit instance of time. This paper presents the evolving and useful concept of traceability management wrapped in change management paradigm...
Model-based testing helps test engineers automate their testing tasks so that they can be more cost-effective. When the model is changed due to the evolution of the specification, it is important to maintain the test suites up to date for regression testing. A complete regeneration of the whole test suite from the new model, although inefficient, is still frequently used in practice. To handle specification...
Assessment plays an essential role in the educational activity, not only to verify the knowledge acquisition of learners, but also as a motivation factor. In this paper we consider the IMS/QTI specification. We first propose a formalization of the question structure in his specification based on ontology, representing its information model. Then we enhance this specification by adding new types of...
Facing changing environments and evolving business, service composition happens all time. However, services do not always interact properly because of mismatches between their interfaces. In this paper, we use labelled interface automata, an extension of interface automata, to illustrate mismatching interfaces and resolution approaches. We model service interfaces with labelled interface automata...
Business processes describe business operations of an organization and capture business requirements. Business applications provide automated support for an organization to achieve business objectives. Software architecture represents the gross structure of a business application and shows the distribution of business requirements among software components. However, mainstream design approaches rely...
Consistency checking needs to be done from the earliest phase of requirements capture as requirements captured by requirement engineers are often vague, error-prone and inconsistent with users' needs. To improve such consistency checking we have applied a traceability approach with visualization capability. We have embedded this into a light-weight automated tracing tool in order to allow users to...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.