2165 search results - page 176 / 433 » Cooperative Software Development: Concepts, Model and Tools |
192
Voted
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...
215
Voted
IWPC
2006
IEEE
16 years 1 months 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...
139
Voted
NJC
2006
15 years 7 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...
177
Voted
SEKE
2004
Springer
16 years 11 days 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 ...
194
Voted
ICFEM
2005
Springer
16 years 16 days 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...