2165 search results - page 176 / 433 » Cooperative Software Development: Concepts, Model and Tools |
175
click to vote
SPLC
2008
15 years 8 months ago
2008
Ongoing research in Software Product Line Engineering (SPLE) emphasises the derivation of a concrete product based on a given variant configuration as one of the most promising ar...
193
click to vote
IWPC
2006
IEEE
16 years 15 days ago
2006
IEEE
Large software systems have a rich development history. Mining certain aspects of this rich history can reveal interesting insights into the system and its structure. Previous app...
127
click to vote
NJC
2006
15 years 6 months ago
2006
In model based design model fragments are used in everyday work. Concurrent operations on separate parts of a model and communication between stakeholders are some examples. Howeve...
161
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
As a security policy model evolves, the design of security systems using that model could become increasingly complicated. It is necessary to come up with an approach to guide the ...
174
click to vote
ICFEM
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...