977 search results - page 37 / 196 » Formal methods integration in software engineering |
135
click to vote
ISARCS
2010
15 years 7 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
141
click to vote
RE
2002
Springer
15 years 3 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
144
click to vote
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
As valuable software systems get old, reverse engineering becomes more and more important to the companies that have to maintain the code. Clustering is a key activity in reverse ...
145
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
144
click to vote
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
Agile software development solutions are targeted at enhancing work at project level. Little is yet known about the relationship between agile projects and organizational capabili...