ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Successful open source projects foster collaboration and innovation while benefiting from a faster pace of development, but are often plagued by poor developer's documentatio...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Software engineers frequently struggle with understanding the relationships between the source code of a system and its requirements or high-level features. These relationships ar...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Portraits in Practice invites companies with technically advanced software-engineering practices and intriguing research challenges to discuss them with the ICSE 2007 participants...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
In the mid-nineties, mobile code was on the rise and, in particular, there was a growing interest in autonomously moving code components, called mobile agents. In 1997, we publish...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
We will demonstrate ArchStudio, an environment for software architecture modeling and meta-modeling. We will also showcase a set of innovative architecturecentric applications tha...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
There has been increasing pressure on the health care sector to adopt information technologies to rationalize service delivery and increase service quality. Medical information sy...