2493 search results - page 284 / 499 » Tool Support for Design by Contract |
COMPSEC
2010
14 years 11 months ago
2010
Many modern mobile devices, such as mobile phones or Personal Digital Assistants (PDAs), are able to run Java applications, such as games, Internet browsers, chat tools and so on....
HICSS
2010
IEEE
15 years 5 months ago
2010
IEEE
Planning a new logistics center is a quite difficult job. Depending on the requirements there are a great number of possible design versions. The planner has to consider not only ...
90
Voted
ADC
2006
Springer
15 years 4 months ago
2006
Springer
We extend Fagin’s result on the equivalence between functional dependencies in relational databases and propositional Horn clauses. It is shown that this equivalence still holds...
79
Voted
FASE
2010
Springer
15 years 3 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
ER
2001
Springer
15 years 3 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...