Sciweavers

1735 search results - page 8 / 347
» Using UML for Business Object Based Systems Modeling
Sort
View
JOT
2008
142views more  JOT 2008»
13 years 8 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
ICST
2009
IEEE
14 years 3 months ago
Test Input Generation Using UML Sequence and State Machines Models
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
Aritra Bandyopadhyay, Sudipto Ghosh
ECEASST
2008
77views more  ECEASST 2008»
13 years 9 months ago
Using OCL in Executable UML
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
Ke Jiang, Lei Zhang, Shigeru Miyake
HICSS
2002
IEEE
119views Biometrics» more  HICSS 2002»
14 years 1 months ago
Modeling Business Media Platforms
The high speed at which new businesses are developed can to a large extent be attributed to their ability to flexibly combine existing services into an integrated business platfor...
Markus Greunz, Katarina Stanoevska-Slabeva
WWW
2004
ACM
14 years 9 months ago
Business objective based resource management
Enterprises today wish to manage their IT resources so as to optimize business objectives, such as income, rather than IT metrics, such as response times. Therefore, we introduce ...
Sarel Aiber, Dagan Gilat, Ariel Landau, Natalia Ra...