803 search results - page 134 / 161 » Building Formal Models for Software Requirements |
209
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
99
Voted
EUROMICRO
2003
IEEE
15 years 7 months ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
118
click to vote
ICSE
1998
IEEE-ACM
15 years 6 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...
113
Voted
UML
2005
Springer
15 years 7 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
126
click to vote
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...