The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
There is never enough time or money to perform verification and validation (V&V) or independent verification and validation (IV&V) on all aspects of a software development project, particularity for complex computer systems. We have only high-level knowledge of how the potential existence of specific requirements faults increases project risks, and of how specific V&V techniques (requirements...
The evolution of content distribution for entertainment and infotainment is urging better pricing and value-for-money for industry products and services. Content providers, aggregators and distributors constantly need to adopt innovative means for reducing costs and to satisfy the user needs. AXMEDIS framework, aims at providing technical solutions and tools for automating content production, formatting,...
We describe a framework for modeling and performing inference on complex systems, based on an attributed programmed graph grammar (APGG) meta-model. We outline this APGG framework, and how it can be used. In particular, show how we can use the underlying system structure as an organizing principle for model specification and analysis. In addition, we examine the attribution we assign to the higher-level...
The J2EE platform allows the rapid development of a large class of complex and robust server-side applications. However, some J2EE constraints pose serious challenges to the development of J2EE applications that interact with legacy systems outside the originally targeted J2EE domain. One such constraint is the static nature of identities of entity Enterprise JavaBeans (EJBs). We present a case study...
Recent evidence raised the possibility that algorithm rich software, such as in imaging processing, is more complex than other kinds (Sangwan, 2005). To further investigate this contention a set of complexity metrics were computed for two sets of open source Java software systems. The results suggest that there is little or no difference in software complexity between an imaging application, and "conventional"...
With recent growth in systems biology research there has been a significant increase in complex systems modeling research relating to biological systems. Multi-drug resistant (MDR) organisms are a threat not only as hospital-acquired infections, but also now as community-acquired infections. Multilocus sequence typing (MLST) can genetically characterize clones of several bacterial pathogens, allowing...
Inherent complexity in large-scale applications may be impossible to eliminate or even ameliorate despite a number of promising advances. In such cases, the complexity must be tolerated and managed. Such management may be beyond the abilities of humans, or require such overhead as to make management by humans unrealistic. A number of initiatives inspired by concepts in biology have arisen for self-management...
Being a successful technique in software practice, object orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of object-oriented systems based on unifying theories of programming (UTP), has been proven a promising one in the sense of its applications to incremental software constructions, the formal use of UML, etc. However, equipped with...
In this paper, we focus on giving a formal semantics of sequence diagram of UML2.0. A model of a system comprises a set of program variables, a class diagram, a family of normal sequence diagrams, a family of normal state diagrams, and a state constraint. We then define their static and dynamic consistency supported by the formal semantics
The design of control systems is usually based on diagrammatic definitions of control laws. The independent use of Z and CSP to verify their implementations has been successful, even for very large applications; high levels of automation have been achieved with tools based on a theorem prover called ProofPower. We have extended this approach to integrate the use of Z and CSP using a notation called...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.