ments of customers with different needs. Also, some
software quality characteristics addressed in the sur-
vey may not be understood precisely by all the par-
ticipants, and therefore, the survey has been decided
to be conducted via sessions in which the participants
are requested to fill in the survey and allowed to ask
for any clarifications. Lastly, the survey has been con-
ducted with 16 different participants only. While this
essentially helped us to get an initial idea about the re-
search questions targeted, we plan to conduct a larger
survey with similar research questions in the future.
REFERENCES
Bygstad, B., Ghinea, G., and Brevik, E. (2008). Soft-
ware development methods and usability: Perspec-
tives from a survey in the software industry in norway.
Interacting with Computers, 20(3):375–385.
Cavano, J. P. and McCall, J. A. (1978). A framework for
the measurement of software quality. SIGSOFT Softw.
Eng. Notes, 3(5):133–139.
Chalin, P., Kiniry, J. R., Leavens, G. T., and Poll, E. (2005).
Beyond assertions: Advanced specification and veri-
fication with JML and ESC/Java2. In de Boer, F. S.,
Bonsangue, M. M., Graf, S., and de Roever, W. P., ed-
itors, FMCO, volume 4111 of Lecture Notes in Com-
puter Science, pages 342–363. Springer.
C¸ iflikli, B.,
¨
Ozcan, O., and Uysal, A. B. (2012). Model
driven software development for military command
and control systems. In 2012 IEEE 36th Annual Com-
puter Software and Applications Conference, pages
494–497.
Dixon, E., Enos, E., and Brodmerkle, S. (2011). A/b testing
of a webpage. US Patent 7,975,000.
Feiler, P. H., Lewis, B. A., and Vestal, S. (2006). The
SAE architecture analysis & design language. In
IEEE Intl Symp. on Intell. Control, pages 1206–1211.
www.aadl.info.
Garousi, V. and Zhi, J. (2013). A survey of software testing
practices in canada. Journal of Systems and Software,
86(5):1354–1376.
Garvin, D. (1984). What does product quality really mean?
Sloan Management Review, 26:25–45.
Geer, D. (2010). Are companies actually using secure de-
velopment life cycles? Computer, 43(6):12–16.
Gulliksen, J., Boivie, I., Persson, J., Hektor, A., and Herulf,
L. (2004). Making a difference: a survey of the usabil-
ity profession in sweden. In Raisamo, R., editor, Pro-
ceedings of the Third Nordic Conference on Human-
Computer Interaction 2004, Tampere, Finland, Octo-
ber 23-27, 2004, pages 207–215. ACM.
Haghighatkhah, A., Oivo, M., Banijamali, A., and Kuvaja,
P. (2017). Improving the state of automotive software
engineering. IEEE Software, 34(5):82–86.
ISO Central Secretary (2011). Systems and software engi-
neering – systems and software quality requirements
and evaluation (square) – system and software quality
models. Standard ISO-IEC 25010:2011, International
Organization for Standardization, Geneva, CH.
Kan, S. H. (2014). Metrics and Models in Software Qual-
ity Engineering - Paperback. Addison-Wesley Profes-
sional, 2nd edition.
Kitchenham, B. A. and Pfleeger, S. L. (1996). Software
quality: The elusive target. IEEE Software, 13(1):12–
21.
Larsen, K. G., Pettersson, P., and Yi, W. (1997). UPPAAL
in a nutshell. STTT, 1(1–2):134–152.
Marques, J. and Cunha, A. (2013). A reference method for
airborne software requirements. In 2013 IEEE/AIAA
32nd Digital Avionics Systems Conference (DASC),
pages 1–29.
Moores, T. T. and Edwards, J. S. (1992). Could large uk
corporations and computing companies use software
cost estimating tools? – a survey. European Journal
of Information Systems, 1(5):311–320.
Nitze, A. and Schmietendorf, A. (2015). A survey on mo-
bile users’ software quality perceptions and expecta-
tions. In 2015 IEEE Eighth International Conference
on Software Testing, Verification and Validation Work-
shops (ICSTW), pages 1–2.
Ozkaya, M. (2018). The analysis of architectural languages
for the needs of practitioners. Softw., Pract. Exper.,
48(5):985–1018.
P
´
erez, J., Mens, T., and Kamseu, F. (2013). A pilot study on
software quality practices in belgian industry. In 2013
17th European Conference on Software Maintenance
and Reengineering, pages 395–398.
Richardson, I., Reid, L., and O‘Leary, P. (2016). Health-
care systems quality: Development and use. In 2016
IEEE/ACM International Workshop on Software Engi-
neering in Healthcare Systems (SEHS), pages 50–53.
Saji
´
c, M., Bundalo, D., Bundalo, Z., and Pa
ˇ
sali
´
c, D. (2017).
Digital technologies in transformation of classical re-
tail bank into digital bank. In 2017 25th Telecommu-
nication Forum (TELFOR), pages 1–4.
Solis, C. and Wang, X. (2011). A study of the characteristics
of behaviour driven development. In 2011 37th EU-
ROMICRO Conference on Software Engineering and
Advanced Applications, pages 383–387.
Sousa, M. J. C. and Moreira, H. M. (1998). A survey on the
software maintenance process. In Proceedings. Inter-
national Conference on Software Maintenance (Cat.
No. 98CB36272), pages 265–274.
Tian, J. (2005). Software Quality Engineering: Testing,
Quality Assurance, and Quantifiable Improvement.
Wiley-Interscience, New York, NY, USA.
Xie, J., Lipford, H. R., and Chu, B. (2011). Why do
programmers make security errors? In 2011 IEEE
Symposium on Visual Languages and Human-Centric
Computing (VL/HCC), pages 161–164.
ENASE 2019 - 14th International Conference on Evaluation of Novel Approaches to Software Engineering
426