596 search results - page 23 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
147
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
157
click to vote
HICSS
2006
IEEE
15 years 12 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
265
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
151
click to vote
ICFEM
2000
Springer
15 years 9 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
169
click to vote
VL
2002
IEEE
15 years 10 months ago
2002
IEEE
To help improve the reliability of spreadsheets created by end users, we are working to allow users to communicate the purpose and other underlying information about their spreads...