Virtually any soware dependent organization has a vital interest in reducing its spending for sowaremaintenance activities. In addition to financial savings, formany organizations, the timeneeded to complete a soware maintenance task largely determines their ability to adapt their business processes to changing market situations or to implement innovative products and services. With the pres...

Bioinformatics so‰ware plays a very important role in making critical decisions within many areas including medicine and health care. However, most of the research is directed towards developing tools, and liŠle time and e‚ort is spent on testing the so‰ware to assure its quality. In testing, a test oracle is used to determine whether a test is passed or failed during testing, and unfortunately...

Bioinformatics so‰ware plays a very important role in making critical decisions within many areas including medicine and health care. However, most of the research is directed towards developing tools, and liŠle time and e‚ort is spent on testing the so‰ware to assure its quality. In testing, a test oracle is used to determine whether a test is passed or failed during testing, and unfortunately...

The Late Roman principia from Capidava was built at the end of 3rd - beginning 4th century, most likely during general reconstruction (phase II) fort, as a result bellum Scythicum. building fully excavated in successive campaigns between 2013-2019. This paper is follow-up to an initial article, published 2017, dealing with fine pottery finds discovered 2013-2014 campaigns. In what follows, we w...

There is a long tradition of modelling digital circuits using functional programming languages. This paper demonstrates that by employing dependently typed programming languages, it becomes possible to define circuit descriptions that may be simulated, tested, verified and synthesized using a single language. The resulting domain specific embedded language, Π-Ware, makes it possible to define a...