1481 search results - page 210 / 297 » Enriching the Software Development Process by Formal Methods |
173
click to vote
ECMDAFA
2009
Springer
15 years 10 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
145
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
143
click to vote
COSIT
1997
Springer
15 years 8 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
143
click to vote
ISORC
2000
IEEE
15 years 8 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
133
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...