9006 search results - page 301 / 1802 » Modeling Software |
159
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
— Many software development methodologies are based on modeling the real world. In some of these methodologies, real-world models are gradually transformed into software models, ...
164
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
150
click to vote
CSCW
2004
ACM
16 years 2 days ago
2004
ACM
Domain experts are essential for successful software development, but these experts may not recognize their ideas when abstracted into Unified Modeling Language (UML) or ontologie...
189
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Brewer and Nash, and immediately updated by this author, introduced Chinese Wall security policy models for commercial security. Applying Pawlak's idea of conflict analysis, ...
177
click to vote
ACHI
2009
IEEE
16 years 1 months ago
2009
IEEE
Human interaction like entering some data, making decisions etc. has to be dealt with as an integral part of today’s business processes and the supporting IT likewise. Hence, hu...