3799 search results - page 223 / 760 » An Engineering Approach to Formal Methods |
147
Voted
ESEM
2010
ACM
15 years 3 months ago
2010
ACM
Functional Size Measures are often used for effort estimation. However, these measures do not take into account the amount and complexity of elaboration required, concentrating in...
266
click to vote
SERA
2007
Springer
15 years 11 months ago
2007
Springer
Capacity planning is a technique which can be used to predict the computing resource needs of an organization for the future after studying current usage patterns. This is of spec...
156
click to vote
EDOC
2005
IEEE
15 years 10 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
137
Voted
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Our work deals with schema or ontology matching and is driven by the following statements: (1) Most of works only consider intensional description of schemas; (2) They mostly use s...
153
click to vote
EPEW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Component-based software performance engineering (CBSPE) methods shall enable software architects to assess the expected response times, throughputs, and resource utiliza...