|
|
|
|
|
Xi Wang, Weiwei Wang and Hongbo Liu
Product derivation is the process of building a specific product from a software product line. Effective product derivation can improve software reuse productivity. Existing methods can only obtain abstract feature models, lacking detailed specifications...
ver más
|
|
|
|
|
|
|
|
|
|
|
John Andrew van der Poll
The adoption of formal methods (FMs) as a software development methodology remains low. Advocates of FMs point to the advantages to be gained by producing highly dependable systems, while critics refer to the steep learning curve required to master the u...
ver más
|
|
|
|
|
|
|
|
|
|
|
Marina Bagic Babac,Marijan Kun?tic
Pág. 18 - 30
This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL),an object-oriented, formal language defined by the International Telecommunications ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Anant Sujatanagarjuna, Arne Bochem and Benjamin Leiding
Protocol flaws such as the well-known Heartbleed bug, security and privacy issues or incomplete specifications, in general, pose risks to the direct users of a protocol and further stakeholders. Formal methods, such as Colored Petri Nets (CPNs), facilita...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ivan Kosyanenko,Roman Bolbakov
Pág. 53 - 59
In today's team-based software development, good commit messages - comments on changes made in natural language - are essential. The metric for evaluating a commit message is its relevance. A good commit message should not only describe the changes made,...
ver más
|
|
|
|
|
|
|
|
|
|
|
Italo L. Oliveira, Jean H. S. Câmara, Rubens M. Torres and Jugurta Lisboa-Filho
Geospatial data are essential for the decision-making process. However, obtaining and keeping such data up to date usually require much time and many financial resources. In order to minimize the production costs and incentivize sharing these data, count...
ver más
|
|
|
|
|
|
|
|
|
|
|
Italo L. Oliveira, Jean H. S. Câmara, Rubens M. Torres, Jugurta Lisboa-Filho
Pág. 1 - 25
Geospatial data are essential for the decision-making process. However, obtaining and keeping such data up to date usually require much time and many financial resources. In order to minimize the production costs and incentivize sharing these data, count...
ver más
|
|
|
|
|
|
|
|
|
|
|
István Pelle and András Gulyás
Designing, implementing, and maintaining network policies that protect from internal and external threats is a highly non-trivial task. Often, troubleshooting networks consisting of diverse entities realizing complex policies is even harder. Software-def...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ali Javidaneh, Farid Karimipour and Negar Alinaghi
An address is a specification that refers to a unique location on Earth. While there has been a considerable amount of research on the syntactic structure of addressing systems in order to evaluate and improve their quality, aspects of semantics and prag...
ver más
|
|
|
|
|
|
|
|
|
|
|
Willy Kengne Kungne, Georges-Edouard Kouamou and Claude Tangha
The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services. Process-oriented approaches produce imperative languages, which are rigid to change at run-time because they focus on how...
ver más
|
|
|
|
|
|
|
|
|
|
|
Benedetto Intrigila, Giuseppe Della Penna, Andrea D?Ambrogio, Dario Campagna and Malina Grigore
Requirements management is a key aspect in the development of software components, since complex systems are often subject to frequent updates due to continuously changing requirements. This is especially true in critical systems, i.e., systems whose fai...
ver más
|
|
|
|
|
|
|
|
|
|
|
Erika Nazaruka
Pág. 28 - 43
Specification and traceability of security requirements is still a challenge since modeling and analysis of security aspects of systems require additional efforts at the very beginning of software development. The topological functioning model is a forma...
ver más
|
|
|
|
|
|
|
|
|
|
|
Omar K. Sabri and Olav Torp
The consensus in the Norwegian construction industry is that the projects are characterized by conflicts. Because unresolved disputes that reach courts take time and resources to be solved, this leads to lost productivity and high costs for all stakehold...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bashar Nuseibeh,Alessandra Russo
Requirements specifications are often inconsistent. Inconsistencies may arise because multiple conflicting requirements are embodied in these specifications, or because the specifications themselves are in a transient stage of evolutionary development. I...
ver más
|
|
|
|
|
|
|
|
|
|
|
Antoine Ferlin, Rahma Ben-Ayed, Pengfei Sun, Simon Collart-Dutilleul, Philippe Bon
Pág. 1957 - 1966
This paper presents the latest results of a three years project which aims at contributing to the validation and implementation of a European system for railway signaling called ERTMS ?European Rail Traffic Management System?. The management of railway t...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ahmed Abdelmoamen Ahmed
With sensors becoming increasingly ubiquitous, there is tremendous potential for Internet of Things (IoT) services that can take advantage of the data collected by these sensors. Although there are a growing number of technologies focused on IoT services...
ver más
|
|
|
|
|
|
|
|
|
|
|
Hector Hernández,Gerald Oliveres
Pág. 15 - 22
In the construction sector labor-productivity growth just 1% on average the last two decades, which is very low compared to the 2,8% for the global economy or the 3,6% for the manufacturing sector. This shows that every year significant amounts of money ...
ver más
|
|
|
|
|
|