Sciweavers

2165 search results - page 309 / 433
» Cooperative Software Development: Concepts, Model and Tools
Sort
View
ISSTA
2006
ACM
16 years 27 days ago
The case for analysis preserving language transformation
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Web...
231
Voted
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
15 years 11 months ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...
ICWE
2005
Springer
16 years 13 days ago
Modelling the Behaviour of Web Applications with ArgoUWE
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
Alexander Knapp, Nora Koch, Gefei Zhang
PRICAI
2000
Springer
15 years 10 months ago
Improved Efficiency of Oil Well Drilling through Case Based Reasoning
A system that applies a method of knowledge-intensive case-based reasoning, for repair and prevention of unwanted events in the domain of offshore oil well drilling, has been deve...
Pål Skalle, Jostein Sveen, Agnar Aamodt
DAGSTUHL
2004
15 years 8 months ago
Language Engineering in Practice
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
Martin Große-Rhode