1099 search results - page 98 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
137
click to vote
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
159
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
363
click to vote
SACMAT
2011
ACM
14 years 9 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we de�...
148
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
203
click to vote
ITICSE
2006
ACM
16 years 9 days ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...