Context Safety-critical software systems are increasingly being used in new application
areas, such as personal medical devices, traffic control, and detection of pathogens. A …

Organizations developing safety-critical software are increasingly seeking to create better
practices by meshing agile and plan-driven development processes. Significant differences …

SAFETY-CRITICAL software systems are part of our daily life and any error in these systems
can result in catastrophic consequences, with the worst-case scenario being loss of human …

Agile methodologies are becoming widespread in modern software development. However,
due to a lack of safety assurance activities, agile methods are criticized for being inadequate …

UML Diagrams are considered as a main component in requirement engineering process
and these become an industry standard in many organizations. UML diagrams are useful to …

Smartphones have become an essential device that not only acts as a communication
media, but it is also able to assist its user to do multiple tasks. A fisherman is an example of a …

Agile approaches are known by making the use of informal elicitation techniques for
requirements specification. The exclusive use of these techniques may cause some issues …

It is a viable alternative to automatically generate Java source code based on the
specification provided by the associated unit tests. This possibility may seem far-fetched in …

It was advocated that in 21st century, most of software will be developed with benefits of
formal methods. The benefits include faults found in earlier stage of software development …

Researches on software development process suitable for small size software organizations
tend to the combination of CMMI and Agile methodology. Among them the combination of …