7380 search results - page 407 / 1476 » Engineering Software Intensive Systems |
144
click to vote
ICSEA
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
128
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we propose a fine-grained coupling metrics suite for aspect-oriented (AO) systems, to measure software changes during system evolution. We also present a correlati...
128
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
124
click to vote
APSEC
2000
IEEE
15 years 9 months ago
2000
IEEE
Workflow management systems are increasingly used to assist the automation of business processes that involve the exchange of documents, information, or task execution results. Re...
132
click to vote
IWPC
1997
IEEE
15 years 8 months ago
1997
IEEE
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...