3837 search results - page 151 / 768 » Concurrent Engineering support in Software Engineering |
157
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Planning iterations in software projects requires considering artifacts from different aspects such as requirements, specifications, tasks or even bug reports. UNICASE is a unifie...
188
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
169
click to vote
WCRE
2006
IEEE
16 years 8 days ago
2006
IEEE
In this demonstration, we present MELIS (Migration Environment for Legacy Information Systems) an integrated environment for the migration of legacy systems to a multi-tier web-ba...
158
click to vote
PLDI
2006
ACM
16 years 7 days ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
165
click to vote
EUROMICRO
2007
IEEE
16 years 19 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...