Model Driven software Development (MDD) is a vision of software development where models play a core role as primary development artifacts. Its industrial adoption depends on several factors, including possibilities o...
详细信息
ISBN:
(纸本)3540457720
Model Driven software Development (MDD) is a vision of software development where models play a core role as primary development artifacts. Its industrial adoption depends on several factors, including possibilities of increasing productivity and quality by using models. In this paper we present a case study of two companies willing to adopt the principles of MDD. One of the companies is in the process of adopting MDD while the other withdrew from its initial intentions. the results provide insights into the differences in requirements for MDD in these organizations, factors determining the decision upon adoption and the potentially suitable modeling notation for the purpose of each of the companies. the analysis of the results from this case study, supported by the conclusions from a previous case study of a successful MDD adoption, show also which conditions should be fulfilled in order to increase the chances of succeeding in adopting MDD.
We propose a novel, progressive, adaptive sampling method, that efficiently varies the sampling rate in local regions of a function based on the distribution of already collected samples. We show that for many functio...
详细信息
Security is a critical part of systems development, particularly for web-based systems. there is little known about how to effectively integrate security into incremental development processes such as Extreme Programm...
详细信息
ISBN:
(纸本)3540350942
Security is a critical part of systems development, particularly for web-based systems. there is little known about how to effectively integrate security into incremental development processes such as Extreme Programming. this paper presents the results of a project that used Extreme Programming practices and deferred consideration of security until system functionality was complete. the findings suggest that refactorings within incremental development processes are capable of delivering high quality security solutions, and provide insights into how security requirements can be incorporated in the planning game.
this paper proposes a conceptual framework for collaboration system as reference architecture for the collaboration systems and illustrates the functionalities of a collaboration system and the issues should be consid...
详细信息
ISBN:
(纸本)9078677015
this paper proposes a conceptual framework for collaboration system as reference architecture for the collaboration systems and illustrates the functionalities of a collaboration system and the issues should be considered in developing such a collaboration system. the conceptual framework for collaboration systems proposed in this paper includes 5 logical layers (the IMPCA framework) through clustering the functional modules to layers. this paper illustrates the responsibilities and functionalities of every module and layer and proposes a possible solution for the IMPCA framework which integrates many open source software.
this paper describes development of an online system for collaborative electro-acoustic music composition. Traditionally, softwaresystems for music composition have been single user systems. As accessibility to the I...
详细信息
ISBN:
(纸本)1860584675
this paper describes development of an online system for collaborative electro-acoustic music composition. Traditionally, softwaresystems for music composition have been single user systems. As accessibility to the Internet has increased, some systems have been adapted so that musicians can produce collaborative work. However, many such systems are still based around the composition methods of the original single user systems. Various service oriented architectures are emerging based on WebServices or GridServices and other Internet technologies for dynamically building systems out of distributed components. Many e-Science projects are using these architectures to build collaborative environments. the software described in this paper takes such concepts and tools from service oriented architectures and e-Science, and applies them to develop software specifically for collaborative electroacoustic composition on the Internet, allowing compositional tools and components to be published, discovered and used within a distributed environment. An objective is to explore and determine methods of composition appropriate for this environment.
Today, many designers of embedded systems are choosing to build their systems using parameterized intellectual property (IP) cores, which are hardware or software components which allow certain aspects of their archit...
详细信息
ISBN:
(纸本)9781424400379
Today, many designers of embedded systems are choosing to build their systems using parameterized intellectual property (IP) cores, which are hardware or software components which allow certain aspects of their architecture to be changed and set at design-time. Design space exploration (DSE) is the process of determining the best combination of parameter values from the complete set of possibile designs. Designs are evaluated in terms of their objectives-usually IC chip area, power consumption and system performance. Often, automated approaches are used to prune the design space in search of the Pareto-optimal set of designs. One of the most common approaches involves using a genetic-algorithm (GA) based approach to determine this set from the complete design space. In this paper, we present the results of a case study involving the Altera Nios parameterized soft-core processor. the goal of this study is to determine the Pareto-optimal set of design configurations for the Nios processor using a genetic-based approach-the Simple Evolutionary Algorithm for Multi-objective Optimization (SEAMO). From this study we conclude that genetic-based approaches can be useful in assisting designers to make intelligent choices, for parameter selection.
Selecting the right web application components to build tip an intended application involve some profound thoughts and hard decisions to make. In this paper, we present a model to ease the decision making process. the...
详细信息
ISBN:
(纸本)9781424404759
Selecting the right web application components to build tip an intended application involve some profound thoughts and hard decisions to make. In this paper, we present a model to ease the decision making process. the model is based on Commercial Off-the-Shelf (COTS) paradigm. COTS techniques aim to reduce development time and hence decrease cost compared to a traditional system development. First, an identification of components from the application requirements is made. then, for each component, we specify a formal model, which is called the ideal component. First order predicate calculus is used as a tool to formalize application requirements and obtain these formal models. the evaluation of a possible component, from a vendor, begins with understanding the features and then an acceptance indicator is calculated. the acceptance equation combines three key factors: requirements and features match, vendor-viability and maintainability. Maintainability is a costly phase in any software system and this model caters for this issue during the evaluation process. the model is being investigated in small-scale systems with successful results.
We outline our first steps towards marrying two new and emerging technologies;the Virtual Observatory (e.g, Astro- Grid) and the computational grid. We discuss the construction of VOTechBroker, which is a modular soft...
详细信息
We formalize a notion of witnesses for satisfaction of linear temporal logic specifications by infinite state programs. We show how such witnesses may be constructed via predicate abstraction, and validated by generat...
详细信息
ISBN:
(纸本)3540330569
We formalize a notion of witnesses for satisfaction of linear temporal logic specifications by infinite state programs. We show how such witnesses may be constructed via predicate abstraction, and validated by generating verification conditions and proving them. We propose the use of SAT-based theorem provers and resolution proofs in proving these verification conditions. In addition to yielding extremely compact proofs, a SAT-based approach overcomes several limitations of conventional theorem provers when applied to the verification of programs written in real-life programming languages. We also formalize a notion of witnesses of simulation conformance between infinite state programs and finite state machine specifications. We present algorithms to construct simulation witnesses of minimal size by solving pseudo-Boolean constraints. We present experimental results on several non-trivial benchmarks which suggest that a SAT-based approach can yield extremely compact proofs, in some cases by a factor of over 10(5), when compared to existing non-SAT-based theorem provers.
暂无评论