4895 search results - page 263 / 979 » Tools for Grammar Engineering |
150
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
264
click to vote
ISPW
2011
IEEE
14 years 10 months ago
2011
IEEE
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
140
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
154
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Refactoring, in spite of widely acknowledged as one of the best practices of object-oriented design and programming, still lacks quantitative grounds and efficient tools for tasks...
164
click to vote
COMPSAC
2007
IEEE
16 years 28 days ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...