7380 search results - page 814 / 1476 » Engineering Software Intensive Systems |
185
Voted
ICFEM
2003
Springer
16 years 14 days ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
166
click to vote
IJAOSE
2008
15 years 7 months ago
2008
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
187
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
204
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
The purpose of this panel is to report on a structured demonstration for comparing program comprehension tools. Five program comprehension tool designers applied their tools to a ...
225
Voted
RTCSA
2003
IEEE
16 years 16 days ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...