803 search results - page 69 / 161 » Building Formal Models for Software Requirements |
146
click to vote
INFSOF
2007
15 years 3 months ago
2007
An important decision problem in many software projects is when to stop testing and release software for use. For many software products, time to market is critical and therefore ...
113
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
126
click to vote
MSE
2002
IEEE
15 years 8 months ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
147
click to vote
SAC
2000
ACM
15 years 7 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
136
click to vote
CLEIEJ
2002
15 years 3 months ago
2002
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...