3799 search results - page 200 / 760 » An Engineering Approach to Formal Methods |
203
click to vote
ISPW
2011
IEEE
14 years 8 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,...
121
click to vote
COMPSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...
184
click to vote
DKE
2011
14 years 11 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
140
click to vote
FLAIRS
2009
15 years 2 months ago
2009
Manual knowledge acquisition is usually a costly and timeconsuming process. Automatic knowledge acquisition methods can then significantly support the knowledge engineer. In this ...
123
click to vote
CSMR
2009
IEEE
15 years 11 months ago
2009
IEEE
Extract Method has been recognized as one of the most important refactorings, since it decomposes large methods and can be used in combination with other refactorings for fixing a...