Systematic design of expert system using unified modelling language
An expert system as an expert knowledge-based information system has been widely used
by interested parties to consult their problems. Therefore, an expert system should be well …
by interested parties to consult their problems. Therefore, an expert system should be well …
Towards a quantum software modeling language
We set down the principles behind a modeling language for quantum software. We present
a minimal set of extensions to the well-known Unified Modeling Language (UML) that allows …
a minimal set of extensions to the well-known Unified Modeling Language (UML) that allows …
Model checking timed and stochastic properties with CSL^{TA}
Markov chains are a well-known stochastic process that provide a balance between being
able to adequately model the system's behavior and being able to afford the cost of the …
able to adequately model the system's behavior and being able to afford the cost of the …
Process algebras for quantitative analysis
J Hillston - 20th Annual IEEE Symposium on Logic in Computer …, 2005 - ieeexplore.ieee.org
In the 1980s process algebras became widely accepted formalisms for describing and
analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems …
analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems …
Design-level performance prediction of component-based applications
Server-side component technologies such as Enterprise JavaBeans (EJBs),. NET, and
CORBA are commonly used in enterprise applications that have requirements for high …
CORBA are commonly used in enterprise applications that have requirements for high …
[PDF][PDF] Tracing the linkage of several Unified Modelling Language diagrams in software modelling based on best practices
S Amin - International Journal of Engineering & Technology, 2018 - repository.unpas.ac.id
Designing software aims to ensure that the systems will be developed truly reflects the
needs of users. To ensure the software and the needs of users requires designing software …
needs of users. To ensure the software and the needs of users requires designing software …
On the secure software development process: CLASP and SDL compared
J Gregoire, K Buyens, B De Win… - … for Secure Systems …, 2007 - ieeexplore.ieee.org
Development processes for software construction are common knowledge and mainstream
practice in most development organizations. Unfortunately, these processes offer little …
practice in most development organizations. Unfortunately, these processes offer little …
Performance evaluation of UML design with Stochastic Well-formed Nets
The paper presents a method to compute performance metrics (response time, sojourn time,
throughput) on Unified Modeling Language design. The method starts with UML design …
throughput) on Unified Modeling Language design. The method starts with UML design …
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile
Recent trends in software engineering lean towards modelcentric development
methodologies, a context in which the UML plays a crucial role. To provide modellers with …
methodologies, a context in which the UML plays a crucial role. To provide modellers with …
Tuning systems: From composition to performance
J Hillston - The Computer Journal, 2005 - academic.oup.com
This paper gives a summary of some of the work of the Performance Evaluation Process
Algebra (PEPA) project, which was awarded the 2004 Roger Needham Award from the …
Algebra (PEPA) project, which was awarded the 2004 Roger Needham Award from the …