Software engineering is based today to a large extend on rapid prototyping languages or design environments which are high level, very expresive, executable and enabling the quick production of running prototypes, whereas formal methods emphasices the preciseness and proper mathematical foundations which eanble the production of unambiguous references needed in protocol engineering. The goals o...

We propose a fast, model agnostic method for finding interpretable counterfactual explanations of classifier predictions by using class prototypes. show that prototypes, obtained either an encoder or through specific k-d trees, significantly speed up the search instances and result in more explanations. quantitatively evaluate interpretability generated counterfactuals to illustrate effectivene...

The traditional design process has been developed, through time, by trial and error, following an evolutive approach. By this procedure, the team focused its attention on only one conceptual alternative at a which is perfected step until expected outcome obtained. Nevertheless nowadays, due to high complexity of ships increasingly stringent operational requirements, approach appears be obsolete...

This paper discusses the various challenges encountered during iterative testing of an insurance company’s home page prototypes. The study focuses on the methodology details, including the selection of prototypes and usability evaluation methods and the considerations for practical trade-offs. During Phase 1, six individual think-aloud interviews were conducted to compare three prototypes. Part...

This paper identifies the problem of analyses of message content as one of making specific inferences from recorded text to characteristics of a source that are not directly observable. The problem is common to a variety of analytical situations in the humanities and in the social sciences; and the way adequate solutions are found therefore deserves systematic attention. Choices among investiga...

At present micro and small businesses engaged in the production marketing of products have a single means sale, whether stalls or physical stores, been affected by current crisis that is happening due to pandemic, which came early 2020 Europe different countries Latin America, causing terrible damage economy enterprises, since it does not virtual sales, where they can offer market their so trad...