2514 search results - page 240 / 503 » The use of industrial-strength formal methods |
143
click to vote
ACJ
2002
15 years 6 months ago
2002
Business Process Reengineering (BPR) is an important instrument to boost the performance of business processes. In this paper, the Product-Based Design method is presented that su...
144
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...
174
click to vote
ICECCS
2005
IEEE
16 years 5 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
153
click to vote
ISCAS
2005
IEEE
16 years 4 days ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
138
click to vote
IFL
2005
Springer
16 years 2 days ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...