Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
In last decades software development processes changed in order to address increasing complexity within decreasing implementation time. Hence, new practices like Kanban, Extreme Programming or Agile Software Development emerged. Model-based development is one potential option, which is more and more used to cope these new demands. However, adapting testing processes to the needs is still an open topic...
In this paper we propose a method for planning military scenarios in the Military Scenario Definition Language (MSDL) which is based on the concepts of grammatical engineering, abstract and concrete syntax and semantics and language processors.
Authors develop RVT-grammar to analyze and control dynamic workflows. We consider aspects of dynamic workflows: ensemble (orchestration, choreography) and transformation with saving connections.
In recent years, there has been a growing interest in the use of ontologica! theories in the philosophical sense (Foundational Ontologies) to analyze and (re)design conceptual modeling languages. This paper is about an ontologically well-founded conceptual modeling language in this tradition, termed OntoUML. This language embeds a number of ontological patterns that reflect the micro-theories comprising...
The advances of domain-specific modeling languages (DSMLs) and their editors created with modern language work-benches, have convinced domain experts of applying them as important and powerful means in their daily endeavors. Despite the fact that such editors are proficient in retaining syntactical model correctness, they present major shortages in mastering the preservation of consistency in models...
In the software engineering field, especially in software product line engineering, the problem of managing the variability within databases is relevant. Therefore, in this paper, we have tried to manage the complexity of modeling variables databases schemas and implement an automatic method of generating this type of schema, and then test it on two cases of studies. To carry out this task we decided...
Cloud computing that is based on Infrastructure as a Services model, allows the system administrators to identify resources or services to deploy their applications. Selection of the most appropriate provider for a particular application is a difficult task as there are huge numbers of services offered by considerable number of providers that are not directly comparable and have similar functionality...
The paper proposes the syntax-oriented processing (analysis, checking and translation) methods of diagrammatic models in the design of complex automated systems. The methods are based on the author's finite-state graphical grammar.
To support program comprehension, maintenance, and evolution, metamodels are frequently used during program reverse engineering activities to describe and analyze constituents of a program and their relations. Reverse engineering tools often define their own metamodels according to the intended purposes and features. Although each metamodel has its own advantages, its limitations may be addressed...
Databases are mainly used in many systems in order to store data. Databases in large scale systems are difficult to grasp their logical structure, therefore, visualizing databases are quite important. To the present entity relationship diagrams (ER diagrams) have been proposed and used in designing and managing databases. However there are not so many tools which are based on formal mechanisms. In...
Software metrics are an essential tool in the software measurement process. As software systems grow, and in consequence their corresponding source code, automated tools for source code metrics extraction, usually known as Software Metric Tools, should be developed in order to aid the user to correctly achieve the process. Even though these tools are of great help, they have certain issues and are...
This paper presents how to generate an optimized sequence diagram from static java source code and dynamic execution trace at a web-based educational programming environment. The aim of this research is to help student programmers better understand the dynamic behavior of a java program using optimized sequence diagram, therefore to enhance object-oriented programming learning experience.
Many kinds of open source software (OSS) are used to develop software or systems. In order to develop software using existing forms of OSS, developers have to understand them. However some OSS lacks adequate documentation for its source code. Program diagrams, many of which have been recently proposed, can enhance the understanding of software or systems but developers cannot properly understand these...
The Object Constraint Language (OCL) is commonly used for constraints in meta-model-based language specifications. However, it may be advantageous to have a domain-specific constraint meta-language optimised for language specifications. A survey of OCL usage in language specifications has been performed, in order to gain an understanding of common constraint patterns. This is used as a starting point...
Effective model-driven engineering of complex systems requires to appropriately describe different specific system aspects. To this end, efficient integration of different heterogeneous modeling languages is essential. Modeling language integaration is onerous and requires in-depth conceptual and technical knowledge and effort. Traditional modeling lanugage integration approches require language engineers...
The syntax-oriented methods for the syntax and semantic analysis and control of UML models in designing automated systems software are pro-posed. The methods are based on author automaton graphical grammars.
To keep a DSL clean, readable and reusable in different contexts, it is useful to define a separate tagging language. A tag model logically adds information to the tagged DSL model while technically keeping the artifacts separated. Using a generic tagging language leads to promiscuous tag models, whereas defining a target DSL-specific tag language has a high initial overhead. This paper presents a...
Model transformations are helpful to evolve, refactor, refine and maintain models. While domain-specific languages are normally intuitive for modelers, common model transformation approaches (regardless of whether they transform graphical or textual models) are based on the modeling language's abstract syntax requiring the modeler to learn the internal representation of the model to describe transformations...
In the Model-Driven Engineering community, the abstract syntax of modeling languages is usually defined and implemented using metamodeling techniques. However, it is not the case for the concrete syntax of graphical modeling languages. Indeed, this concern is mostly specified by informal means. This practice leaves considerable leeway in the implementation and raises several standards compliance issues...
Security testing of web applications remains a major problem of software engineering. In order to reveal vulnerabilities, manual and automatic testing approaches use different strategies for detection of certain kinds of inputs that might lead to a security breach. In this paper we compared a state-of-the-art manual testing tool with an automated one that is based on model-based testing. The first...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.