2527 search results - page 155 / 506 » Software development with imperfect information |
172
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
151
click to vote
ICSM
1997
IEEE
15 years 10 months ago
1997
IEEE
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
181
click to vote
COMPSAC
1995
IEEE
15 years 10 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
175
click to vote
HICSS
2007
IEEE
16 years 24 days ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
169
click to vote
SCAM
2007
IEEE
16 years 22 days ago
2007
IEEE
To encourage open source/libre software development, it is desirable to have tools that can help to identify open source license violations. This paper describes the implementatio...