22698 search results - page 541 / 4540 » Modeling in Software Engineering |
210
Voted
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
207
Voted
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
166
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
An Overview of the new workshop on Accountability and Traceability in Global Software Engineering (ATGSE2007) will be introduced here.
169
Voted
CSEE
2003
Springer
16 years 19 days ago
2003
Springer
195
Voted
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...