1481 search results - page 156 / 297 » Enriching the Software Development Process by Formal Methods |
JISBD
2001
15 years 5 months ago
2001
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
125
click to vote
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...
143
click to vote
INFSOF
2010
15 years 1 months ago
2010
Successful software development and management depends not only on the technologies, methods and processes employed but also on the judgments and decisions of the humans involved....
126
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
A one-day workshop was held on the topic of mining software repositories at ICSE 2004 in Edinburgh, Scotland. The workshop brought together researchers and practitioners in order ...
176
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Social media has changed the way that people collaborate and share information. In this paper, we highlight its impact for enabling new ways for software teams to form and work to...