3256 search results - page 131 / 652 » Applications of Formal Methods to System Design and Verifica... |
143
click to vote
COMSIS
2004
15 years 4 months ago
2004
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...
118
Voted
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
129
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
142
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...
120
click to vote
ASM
2000
ASM
15 years 9 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...