617 search results - page 124 / 124 » Using Formal Methods in a Retrospective Safety Case |
JSS
2010
13 years 1 days ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
ICDE
2011
IEEE
12 years 9 months ago
2011
IEEE
— Real-world databases often have extremely complex schemas. With thousands of entity types and relationships, each with a hundred or so attributes, it is extremely difficult fo...