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.
There has been drastic change and improvement in the software development after the publication of Agile manifesto[1] in, 2001. Agile Software Development (ASD) has changed the way of technology of manufacturing methods as it is easily applicable to the changes that consumer wanted to occur in its product Agile Software Development works on the practical purposes rather than documentation, as it is...
API documentation is useful for developers to better understand how tocorrectly use the libraries. However, not all libraries provide gooddocumentation on API usages. To provide better documentation, existingtechniques have been proposed including program analysis-based anddata mining-based approaches. In this work, instead of mining, we aimto generate behavioral exception documentation for any given...
It is analyzed the description of the symmetry lines in the file exchange information of the drawings. The algorithm of treatment of such elements of design in the modification of engineering drawings of parts in accordance with the new defined values of dimensions is discussed.
The recent growth of popularity of cloud computing services delivers various benefits in multiple fields of activity, including reduced resource costs due to optimized hardware setup, as well as improving mobility. However, cloud computing has some issues that need to be clarified, one of which is the security of cloud computing. The dispersion of cloud service vendors means that most security issues...
Use of computational methods for exploration and analysis of web archives sources is emerging in new disciplines such as digital humanities. This raises urgent questions about how such research projects process web archival material using computational methods to construct their findings. This paper aims to enable web archives scholars to document their practices systematically to improve the transparency...
Scientific research should be reproducible, and as such also simulation research. However, the question is - is this really the case? In some application areas of simulation, e.g., cell biology, simulation studies cannot be published without data, models, methods, including computer code being made available for evaluation. With the applications and methodological areas of modeling and simulation,...
OntoSoft is a distributed semantic registry for scientific software. This paper describes three major novel contributions of OntoSoft: 1) a software metadata registry designed for scientists, 2) a distributed approach to software registries that targets communities of interest, and 3) metadata crowdsourcing through access control. Software metadata is organized using the OntoSoft ontology along six...
In software development we are faced with the problem to comprehend and take over source code from other developers. The key challenge is to understand the underlying specification implemented by the software system. Regaining this understanding is more difficult when the source code is the only reliable source of information, documentation is outdated or only present in fragments, and original developers...
The aim of the argumentation diagram is to organize and visualize, in a synthetic way, all key elements proving the validity of a product's property. The argumentation diagram does not represent the process, but gives the rationale behind all Verification & Validation (V&V) documents. In fact, it lists and organizes necessary evidence in a development life cycle. But the validity of the final...
Over the last decade there has been a growing interest in ‘conceptual modeling’ for simulation. This is signified by a greater intensity of research and volume of papers on the topic. What is becoming apparent, however, is that when it comes to conceptual modeling there are quite different views and opinions. These differences may be beneficial for creating a debate that takes the field forward, but...
Formal methods based on abstract models are becoming more and more important in the domain of complex computer networks. On the other hand, processes of design documentation transformation into the formal models are still bound to the skills and ingenuity of individual engineers. Moreover, the human factor involved in data transformation represents a major bottleneck due to the tendency of computer...
Because modern engineering products require more and more functionality, the models used in the design of these products get larger and more complex. A way to handle this complexity would be a suitable mechanism to modularize models. However, current approaches in the Model Driven Engineering field have limited support for modularity. This is the gap that our research addresses. We want to tackle...
Business process models enable to understand and improve the organization's business in order to stay competitive in the market. However, this artifact is not commonly elaborated due to time and costs associated. Thus, it was observed the importance of the practice of reutilization of business process models, making use of specific techniques such as the Business Process Line (BPL) that was originated...
The article tackles the problem of conformance checking of communicating resource systems, such as hierarchical distributed systems, Restful Web services, ROA systems, etc. We present a framework, consisting of methods and algorithms, which allows to check whether a system's behavior, as derived from logs, conforms to its ideal model (derived from APIs and specifications). We define several system...
For the development of clinical care pathways for the Brazilian hospital information system Pajé, a modeling tool is required. For the selection of this tool, some modeling standards were reviewed, applied and subsequently evaluated. Four modeling tools, zOOml, gmodeler, dia and UMLet were tested and validated for the process of modeling UML diagrams based on predefined requirements. Results show...
With CPU clock speeds stagnating over the last few years, ongoing advances in computing power and capabilities are being supported through increasing multi- and many-core parallelism. The resulting cost of locally maintaining large-scale computing infrastructure, combined with the need to perform increasingly large simulations, is leading to the wider use of alternative models of accessing infrastructure,...
Architectural Knowledge Management (AKM) has been a major topic in software architecture research since 2004. Open AKM problems include an effective, seamless transition from reusable knowledge found in patterns books and technology blogs to project-specific decision guidance and an efficient, practical approach to knowledge application and maintenance. We extended our previous work with concepts...
There is a growing demand for experts with a dedicated knowledge of forensics, especially in the domain of digital and digitised forensics, besides a general shortage of teaching of digital forensics. Further, there is prominent lack of standardisation in designing a curriculum [18]. We address this by offering the profile ForensikDesign@Informatik [23] to the bachelor's degree at university level...
We present a repository for disseminating the computational models associated with publications in the social and life sciences. The number of research projects using computational models has been steadily increasing but the resulting publications often lack model code and documentation which hinders replication, verification of results and accumulation of knowledge. We have developed an open repository,...
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.