8627 search results - page 298 / 1726 » Software Engineering Using RATionale |
181
click to vote
ISSTA
1996
ACM
15 years 10 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
152
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
In component-based development (CBD), component is the basic unit for reuse and it provides a relatively coarse-grained functionality. A component typically consists of several re...
179
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
156
click to vote
APSEC
2001
IEEE
15 years 10 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...
174
click to vote
IJWIS
2008
15 years 6 months ago
2008
ed Abstract: Purpose of this paper Software Product Line (SPL) is at the forefront among the techniques for reducing costs, decreasing schedule time, and ensuring commonality of fe...