6348 search results - page 364 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
159
click to vote
CSMR
2004
IEEE
15 years 8 months ago
2004
IEEE
Software systems need to evolve as business requirements, technology and environment change. As software is modified to accommodate the required changes, its structure deteriorate...
148
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
125
click to vote
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
113
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Substantial effort in the development of any large system is invested in testing. Studies of testing tend to be either technical or concerned with the cognitive ability of testers...
126
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....