This paper presents a pilot study to test plans for an empirical study,
which will compare the comprehensibility of two specifications: a formal specification
and an informal specification. The two documents used in the ...
This paper examines the possible influence of podcasting on the traditional lecture in higher education. The paper firstly explores some of the benefits and limitations of the lecture as one of the dominant forms of teaching ...
Software systems are subject to change. To
embrace change, the systems should be equipped with
automated mechanisms. Business process and software
architecture models are two artifacts that are subject to change
in an ...
In a dynamic environment where context changes frequently,
users’ privacy requirements can also change. To satisfy such
changing requirements, there is a need for continuous analysis to
discover new threats and possible ...
Bowes, David; Hall, Tracy; Beecham, Sarah(Association for Computing Machinery, 2012)
Background: Systematic literature reviews are increasingly used
in software engineering. Most systematic literature reviews
require several hundred papers to be examined and assessed. This
is not a trivial task and can ...
This thesis examines the formation of martensite in Ni-based super-alloys in both
an alloy-coating system and in the bulk alloy, NiPtAl. The alloy-coating study
was designed to test the hypothesis that an extra layer of ...
Mannix McNamara, Patricia(University of Limerick, 2010)
The quality of teaching that occurs within academic institutions has begun to feature
more frequently in recent academic discourse. However, the types of educative
relationships created with students features less ...
Mc Hugh, Martin; Mc Caffery, Fergal; Casey, Valentine(Euro SPI, 2012)
Non-safety critical software developers have been reaping the benefits of adopting agile practices for a number of years. However, developers of safety critical software often have concerns about adopting Agile practices. ...