1988 search results - page 146 / 398 » Engineering formal metatheory |
171
click to vote
ICSR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical n...
175
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
142
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
Debugging inconsistent OWL ontologies is a timeconsuming task. Debugging services included in existing ontology engineering tools are still far from providing adequate support to ...
162
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
119
click to vote
AGILEDC
2007
IEEE
16 years 26 days ago
2007
IEEE
In a mature fortune 500 manufacturing company, such as 3M Company, many processes and procedures for developing products have been put in place over the years. Many of these tools...