1141 search results - page 61 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
158
click to vote
ECBS
2006
IEEE
16 years 22 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
155
click to vote
ER
2005
Springer
16 years 6 days ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
200
Voted
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
151
click to vote
ITICSE
2009
ACM
16 years 1 months ago
2009
ACM
In general, university guidelines or policies on plagiarism are not sufficiently detailed to cope with the technical complexity of software. Software plagiarism can have a signiï¬...
172
click to vote
CPAIOR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...