1306 search results - page 25 / 262 » A Diagrammatic Approach to Model Completion |
110
click to vote
ICRE
2000
IEEE
15 years 4 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
78
Voted
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents an integrated approach to energy harvester modelling and performance optimisation where the complete mixed physical-domain energy harvester system (micro gener...
CAISE
1999
Springer
15 years 4 months ago
1999
Springer
: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
DAGSTUHL
2006
15 years 1 months ago
2006
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...