Domain Analysis

Increasing access to data and computational resources allows use to use more expressive approaches to data analysis. We propose using established statistical metrics to assist the automatic analysis of free text transcripts. The meaningful concepts from a domain and their axiomatic relationships can be captured in an ontology. This provides an aggregate model which describes the domain. However, the fine detail from individual elements and their characteristics are subsumed by the whole. Keeping multiple 'micro models' of the data, along with meta information allows a range of different view points. This can be applied to free text documents that within a domain where significant information is carried by one or a few instances such as in the analysis of interview transcripts. This paper presents a framework that utilises ontological tools to create domain models in a way that it allows for a distributed and parallel implementation necessary for big data analysis.

This papers describes a tool integration approach for the airplane design, using public domain software. The developed architecture, the applied tools and applications are shown to demonstrate the power of this approach for engineering applications.

This paper is an experience report that illustrates the applicability of a viewpoint-based design method for the Web-based education (WBE) domain. The method is a new approach for domain analysis that generates an object-oriented framework from a set of concrete applications. These applications are defined as viewpoints, since they provide different perspectives of the framework domain. Various existent WBE environments have been used as viewpoints in our case study. The design method has been successfully applied for these viewpoints generating the ALADIN framework. The analyzed WBE environments are presented through object-oriented diagrams. The implementation and use of ALADIN is discussed to validate the results of the case study.

FODAcom is a customization of the FODA domain analysis method for the Italian telecommunications authority, for application within its IT2000 restructuring program. This paper describes recent experience gained in the application of the method within a business unit of Telecom Italia. Three analysis models that were constructed for the Service Provisioning Control (SPC) domain are presented and discussed. Requirements templates, intended for reuse of user requirements across system releases, are also presented and discussed, together with FODAcom's domain evolution strategy.

Proyecto académico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto Approach to the anlysis of Hygiene and Epidemiological domain in Cuba through the scientific production of a specialized journal With the objective of approaching to the analysis of scientific domain Hygiene and Epidemiology in Cuba, the scientific production of Revista Cubana de Higiene y Epidemiología was reviewed from 2000 to 2005. For the visualization of coauthor relations, journal cocitation, and subject heading cocitation, we used the techniques of social networks, cluster analysis and multidimensional scaling. It was detected that the highest number of contributions to the journal came from the researchers in the National Institute of Hygiene, Epidemiology and Microbiology, which is influencing the predominance of papers on epidemiology of chronic non-communicable diseases and environmental health, but topics as food hygiene, occupational health and epidemiology of communicable diseases are less addressed. Therefore, it is considered that the scientific production of the above-mentioned journal only allows making a partial analysis of this domain.

The Sup35p protein of Saccharomyces cerevisiae is an essential translation factor whose prion-like properties give rise to the non-Mendelian genetic element [PSI(+)]. In this study the SUP35 gene from the related yeast species Candida albicans has been characterized. The CaSUP35 gene encodes a protein (CaSup35p) of 729 aa which shows 65% amino acid identity to the S. cerevisiae Sup35p protein (ScSup35p), with the C-terminal region showing greater identity (79%) than the N-terminal region. The full-length CaSup35p can functionally replace ScSup35p in S. cerevisiae although complementation is only complete when CaSup35p is overexpressed. Complementation only requires expression of the CaSup35p C domain. In S. cerevisiae the full-length CaSup35p is unable to establish a prion-like aggregated state even in the presence of endogenous ScSup35p prion 'seeds', thus confirming the existence of a species barrier in fungal prion propagation. Subcellular localization studies in C. albic...

The nonlinear dynamic responses of moored crane vessels to regular waves are investigated experimentally and theoretically. The main subject of interest are nonlinear phenomena like bifurcations and the existence of multiple attractors. In the experimental part of the work, a moored model of a crane vessel has been excited by regular waves in a wave tank. A special mechanism has been developed to model the nonlinear behavior of real mooring systems. The theoretical part of the work concerns the mathematical modeling of the floating cranes. Two mathematical models of different levels of complexity are presented. Two different tools are used to systematically determine the responses of the systems to periodic forcing of waves. Firstly, the path-following techniques in combination with numerical integration of equations of motion applied to a full nonlinear model give insight into the dynamics in time domain. Secondly, the multiple scales method allows for an analytical investigation of simplified nonlinear models in frequency domain. Many results of computations for two crane vessels, barge and ship, are presented. Special attention is paid to oscillations near the frequencies of primary resonances and to subharmonic motions. An excellent agreement is found between the results of time-domain and frequency-domain analysis. The computational examples chosen correspond to the models used not only in the present experiments but in the experiments of others as well. The results presented in the work allow us to draw several important conclusions concerning the dynamic behavior of floating cranes during offshore operations. Both the developed models and the analytical tools can be used to identify the limits of the operating range of floating cranes.

Bridge Weigh-In-Motion (B-WIM) is a process by which the axle and gross vehicle weights of vehicles travelling at highway speeds can be determined from instrumented bridges. The traditional method of attaching strain transducers to the soffit of the bridge and placing axle detectors on the road surface has been replaced here by using additional transducers underneath the bridge for axle detection and Nothing-On-the-Road (NOR). This paper presents a wavelet based analysis of strain signals and shows the efficacy of using wavelets in pattern recognition of these signals. The transformed signals are used to identify axle passage and hence the vehicle velocity and the axle spacing. In addition to numerically generated strains, signals acquired from such a NOR instrumentation of a bridge in Slovenia have been analysed by the method of wavelet transformation to extract axle position information that was not readily detectable using existing methods.

We describe a new verification and validation (V&V) approach based on comparing actual system behavior in the form of captured goalannotated event traces, with expected behavior expressed by requirements scenarios with system requirements goals. We believe our proposed V&V approach can leverage requirements engineering work fruitfully and lead to improved software quality, by offering these six potential benefits: (1) higheryield testing, (2) distinguishing false positives, (3) defining test coverage metrics, (4) detecting domain-analysis errors, (5) validating top-level requirements, and (6) efficient control of retesting. We use examples to explain how our method can attain these benefits. If our goal/requirements-based V&V approach succeeds in realizing these six benefits, we believe it will lead to improved requirements that, in turn, can successfully improve software quality. top-level goal: find lcm(6, 4) 1. find lcm of 6 and 4 1.1 find the product p of 6 and 4 * p = 24 1.2 find g, the gcd of 6 and 4 1.2.1 second member of pair (6, 4) is not zero * 4 ≠ 0 1.2.2 replace the pair (m, n) with (n, m mod n) * (m, n) replaced by (4, 2) 1.2.3 second member of pair (4, 2) is not zero * 2 ≠ 0 1.2.4 replace the pair (m, n) with (n, m mod n) * (m, n) replaced by (2, 0) 1.2.5 second member of pair (2, 0) is zero * 0 = 0 1.2.6 return first member of pair (2, 0) as the gcd * 2 returned as value of gcd(6, 4) 1.2.7 assign value 2 = gcd(6, 4) to be value of g * g = 2 1.3 return p / g as the lcm of 6 and 4 * return 24 / 2 * 12 returned as the value of lcm(6, 4) New game began at 2:21:46 PM Machine plays first with X * Machine moved with X in upper left corner (1,1) * You moved with O in lower right corner (3,3) * Machine moved with X in lower left corner (3,1) * You moved with O on left side (2,1) * Machine moved with X in upper right corner (1,3) * You moved with O in center (2,2) * Machine moved with X on top side (1,2) Result: X won the game Transcript ended at 2:22:16 New game began at 2:21:46 PM Machine plays first with X at Novice level Goal: to play with variety make a random first move * Machine moved with X in upper left corner (1,1) * You moved with O in lower right corner (3,3) Goal: make a random move * Machine moved with X in lower left corner (3,1) * You moved with O on left side (2,1) Goal: make a random move * Machine moved with X in upper right corner (1,3) * You moved with O in center (2,2) Goal: make a winning move * Machine moved with X on top side (1,2) Result: X won the game Transcript ended at 2:22:16 PM New game began at 2:21:46 PM Machine plays first with X at Expert level Goal: to play with variety make random first move * Machine moved with X in upper left corner (1,1) * You moved with O in lower right corner (3,3) Goal: make forcing move that will lead to a fork and a win * Machine moved with X in lower left corner (3,1) * You moved with O on left side (2,1) Goal: create a fork * Machine moved with X in upper right corner (1,3) * You moved with O in center (2,2) Goal: make winning move * Machine moved with X on top side (1,2) Result: X won the game Transcript ended at 2:22:16 PM

In our previous publication , we demonstrated the ability to generate the proper mix of jitter on ATE to enable the jitter tolerance test for 1.5/3Gbps SATA applications. Obviously this is NOT the only challenge for performing this test on ATE. Jitter tolerance compliance test for SerDes calls for validation of bit-error-rate (BER) down to the 10-12 or lower. This requirement deemed this test to be extremely time-consuming, which normally takes more than an hour (assuming running 1013 bits for 10-12 BER level guaranteed). While in the ATE world every test is measured in seconds or even in milliseconds; it is obviously impractical to adopt this test directly. In this paper we demonstrate a new technique to perform the jitter tolerance test >1000 times faster. The technique of course involves extrapolation from the higher BER region down to the 10-12 level for the compliance test, but the challenge that we faced in getting the extrapolation is very different from the conventional transmitter jitter measurement world. We present a new mathematical model suitable to reason about this extrapolation process.

This paper presents a method for structuring the work domain of the anesthesiologist in the operating room, using Rasmussen's (1986) approach for work domain analysis. The goal of this research is to provide an integrated approach for patient monitoring by bridging the gap between physiological principles associated with the patient and clinical practice. Data were collected from literature reviews, discussions with anesthesiologists, operating room observations, and simulator sessions to develop the work domain representation. From this information, the work domain was structured using various levels of abstraction and decomposition, independent of any particular situation. Next, an analysis of the links between the operating room and the work domain was performed. The results indicated that this approach has useful insights for training and interface design. The approach provided a framework for representing the work domain as an invariant purpose-based structure for a constan...

The purpose of this note is to clarify the theoretical relationship between work domain analysis and task analysis, two classes of techniques that have been used by cognitive engineers to identify information requirements for systems design. The transformation from a work domain analysis to a task analysis (i.e., from a description of the object of control to a description of control itself) can be conceived as a discrete set of transformations. Work domain analysis identifies the set of all structural degrees of freedom that are available to any actor. Only a subset of these will be relevant for a particular context. At any particular point in time, actors will have to choose which of these relevant degrees of freedom to utilize. Finally, the utilized degrees of freedom will have a dynamic state that can usually be described quantitatively. Task analysis is the function that maps current states onto desired states via a set of human or automated control actions. By making these transformations explicit, the relevance of work domain analysis to worker (or automation) goals and actions becomes more clear.

We present new results both from numerical simulations using the Swift-Hohenberg model and from experiment for domain chaos near the onset of rotating Rayleigh-Bénard convection. Using both global Fourier analysis and local wave director (LWD) analysis, the domain chaos patterns were characterized. Several image analysis techniques are discussed and were applied to the director field obtained from LWD analysis. They yielded statistical parameters, averaged over long time series, that characterize several aspects of the chaotic patterns. The effect of the finite image size on the determination of the domain switching frequency obtained with Fourier analysis, as well as with LWD analysis, was investigated. Using the LWD method, we studied ξ θ , a correlation length obtained from the time-averaged autocorrelation of the local angle field θ. The defects and domains in the pattern were examined locally and their average area fraction, average area, and average major axis length were obtained. A periodic component was observed in the time series of the instantaneous correlation length ξθ and of the defect area, but was found not to be present in the time series of the domain area. We determined a parameter D, defined as the average dot product of the wave director and the major domain axis, that characterizes the orientation of the domains relative to the roll patterns within them. The results for D were independent of the control parameter ε and of the image size. Simulations and experiment gave remarkably similar results for D.

Three species of Campylobacter are recognized as enteropathogens in children under five years of age and in immunocompromised patients. Several groups have tried to classify them using biochemical profiles and have found six different patterns which comprise 12 individual tests. We have designed a "Micro Campy" method which identifies C. jejuni, C. coli and C. lari classifying them into several biotypes. Fifty two Campylobacter strains isolated from humans were studied and classified in 24 different patterns. Strains isolated from diarrhea episodes were seen in two specific patterns. We propose the use of this easy to perform method which has a reproducibility higher than 92% in biotyping Campylobacter strains.

Say the phrase "Charlie bit my finger," and just about every human being with Internet access visualizes the viral video clip of baby Charlie precociously biting the finger of his brother. With almost 200 million views, this video represents just one of thousands of viral videos that form a core component of modern entertainment, news, and advertising

CARDS (Central Archive for Reusable Defense Software) exploits advances in domain analysis and domain modeling to identify, specify, develop, archive, retrieve, understand and reuse domain-specific software components. An important element of CARDS is to provide visibility into the domain model artifacts produced by, and services provided by, commercial computer-aided software engineering (CASE) technology. The use of commercial CASE technology is important to provide : rich, robust support for the varied roles involved in a reuse process. We refer to this kind of use of knowledge representation : systems as supporting "knowledge-based integration." , f,,.

Thailand’s globalized society today is dependent on capitalism in driving the economy of the country. Too much dependence on such a system causes an imbalance between material progress and the mental well-being of the people. People have abandoned the principles of religion in leading their life and the situation has caused the problem of unwanted behaviors. This clearly reflects a total failure of education in achieving the goal in shaping morality in the people. Therefore, it is essential for educators to come up with the Buddhism-based process of learning management for social studies teachers to instill ethics in students of the 21st century. This is aimed at creating awareness among children and young generation to cope with various changes in the knowledge, skills and positive attitude in applying the principles of Buddhism in their everyday life. Such an application helps shape the behavior of citizens and enables them to live in peace and for the prosperity of the nation.

This paper aims at describing the requirements of an off-highway human-machine system able to recognize potential risky situations and consequently prevent them. The developed methodology is based on two techniques derived from the field of human factors studies, namely the Hierarchical Task Analysis (HTA) and the Function Allocation (FA), which have been integrated and revised to suit the specific domain of off-highway machinery. The paradigms of adaptive automation and persuasive technology will be followed in the design process. After the off-highway domain analysis a system aiming at improving operator and machine safety is presented. The information system extends the human intelligence monitoring the stability of the machine.

Dissertação apresentada ao Curso de Mestrado em Ciência da Informação do Instituto Brasileiro de Informação em Ciência e Tecnologia-IBICT-do Conselho Nacional de Desenvolvimento Científico e Tecnológico-CNPq-em convênio com a Escola de Comunicação-ECO-da Universidade Federal do Rio de Janeiro-UFRJ-, como parte dos requisitos necessários para obtenção do grau de Mestre em Ciência da Informação.

In this paper, the hybrid-mode spectral domain approach is generalized to describe the dispersion properties of coupled microwave circuits with any arbitrary metallization thickness and finite conductivity in multilayer configuration. The influence of finite metallization thickness on the frequency dependent modal propagation characteristics is shown for both suspended and inverted coupled structures and can be easily extended to any multilayered circuit. The phase constant and effective permittivity with finite strip thickness and finite conductivity are discussed for hybrid and monolithic circuits.

Reuse-oriented software methodologies have emerged to provide a set of rules or guides for development and evolution of software systems by reusing existing domain engineering artefacts such as requirements, architecture, components, test cases, etc. Domain engineering methods, such as software product lines engineering, aim at reducing development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. However, these methodologies are not based on specific domains, instead they cover a wide range of domains without considering particularities within them. Therefore, in this work we define a novel approach in which the creation of a software product line is guided by a subdomain analysis process, oriented to a particular case within the marine ecology domain. The methodology is then applied to a specific organization in order to create a product of the line.

The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleed-through, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely event that the author did not send a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyright material had to be removed, a note will indicate the deletion.

This The activity of detecting and documenting the similarities and differences in related software products in domain is called as domain analysis. For efficient detection and utilization of commonality across related software systems, the effective software reuse is required. Domain experts providing information about a domain under analysis. Feature oriented domain analysis (FODA) is used for efficient detection and utilization of commonality across related software systems. Reuse of software product is one of the encouraging resolutions to the software disaster. Feature Oriented Reuse Environment (FORM) model constructed during the analysis is called a feature model, it captures commonality as an AND/OR graph. Domain analysis and Reuse Environment (DARE) is CASE tool that supports domain analyst in carrying out a clear domain analysis method. DARE is useful for detection and documenting domain information from documents and program. Recommender systems are used to find affinity ...

ProtoMol is a high-performance framework in C++ for rapid prototyping of novel algorithms for molecular dynamics and related applications. Its flexibility is achieved primarily through the use of inheritance and design patterns (object-oriented programming). Performance is obtained by using templates that enable generation of efficient code for sections critical to performance (generic programming). The framework encapsulates important optimizations that can be used by developers, such as parallelism in the force computation. Its design is based on domain analysis of numerical integrators for molecular dynamics (MD) and of fast solvers for the force computation, particularly due to electrostatic interactions. Several new and efficient algorithms are implemented in ProtoMol. Finally, it is shown that ProtoMol's sequential performance is excellent when compared to a leading MD program, and that it scales well for moderate number of processors. Binaries and source codes for Windows...

Pair programming requires two programmers working together at one computer. However, the trend toward globally distributed organizations makes long-distance collaboration necessary. Sangam is an Eclipse plug-in for Eclipse users to share workspace so that developers may work as if they were using the same computer. In this paper, we will show how this is achieved in Eclipse platform, and discuss our experience of distributed and collocated pair programming during the development of Sangam. 1

Domain Engineering is relevant to various fields in software and systems development, such as conceptual modeling, software product line engineering, domain-specific languages engineering, and so on. It deals with identifying, modeling, constructing, cataloging, and disseminating artifacts that represent the commonalities and differences within a domain, as well as with providing mechanisms, techniques, and tools to reuse and validate these artifacts in the development of particular systems. The aims of most up-and-coming methods and techniques in the area of domain engineering are to help reduce time-to-market, development cost, and projects risks on one hand, and help improve systems quality and performance on a consistent basis on the other hand. As an interdisciplinary area, domain engineering deals with various topics such as conceptual foundations, semantics of domains, development and management of domain assets, lifecycle support, variability management, and consistency validation. The purpose of this series of workshops is to bring together researchers and practitioners in the area of domain engineering in order to identify possible points of synergy, common problems and solutions, and visions for the future of the area. In the workshop, three papers were presented, dealing with evaluation of Domain-Specific Modelling solutions, representation of business domain knowledge and development artifacts, and specification of data properties. In addition, a panel discussing guidelines for designing Domain-Specific Modeling Languages (DSML) was led by Prof. Ulrich Frank, from the University of Duisburg-Essen, Germany. In that panel the challenges related to the boundaries between a DSML and its models as well as to the question how specific a DSML should be, were discussed. Furthermore, analyzing the ontological, linguistic and epistemological aspects, we listed a set of criteria to guide the design and evaluation of DSMLs from various perspectives. We wish to thank the program committee, the papers' authors, the workshop participants, the panelists, and the local organizers for contributing to the success of this workshop.

In the railway field, graphical representations of domain concepts are omnipresent thanks to their ability to share standardized information with common knowledge about several railway mechanisms: track circuits, signalling rules.. . This paper proposes a domain specific approach for railway systems modeling and validation by combining the Model-Driven Engineering (MDE) paradigm and a formal method. First, an example of a graphical DSL is defined thanks to MDE tools, and then the formal B method is used to define its underlying operational semantics and to guarantee the correctness of the model's behaviour with respect to its safety properties. Our approach is assisted by the Meeduse tool which animates and visualizes execution scenarios of domain models. Starting from a given model designed in the DSL tool, Meeduse asks ProB to animate B operations and gets the reached state by means of B variables valuations. Then, it translates back these valuations to the initial DSL resulting in automatic modifications of the domain model. Our approach allows a more pragmatic domain-centric animation than current visual animation techniques since the resulting DSL tool allows domain experts, who are not necessarily trained in formal methods, to design and validate by themselves the various domain models.

Common objectives of software reengineering are to improve program maintainability, to port programs into new platforms or to support new functions. To meet reengineering objectives, sometimes it is necessary to substantially re-deign programs; then, reengineering becomes an opportune moment to address reusability. In the "reengineering for reuse" scenario, a reusability framework is built prior to reengineering efforts. Within the framework, potentially reusable features are modeled and representation structures for capturing reusable features are built. The core of the framework is a family of domain models. Domain models are built in the course of both reverse engineering of existing programs and independent domain analysis. Domain models consist of documentation templates, organized in Object-Oriented way, that describe common (therefore reusable) features and their implementation. Often we find that, apart from similarities, there are also some variations in feature specifications and implementation from one system to another. Modeling reusable features and capturing variations in feature specification is the topic of this paper.

The field of shared virtual environments, which also encompasses online games and social 3D environments, has a system landscape consisting of multiple solutions that share great functional overlap. However, there is little system interoperability between the different solutions. A shared virtual environment has an associated problem domain that is highly complex raising difficult challenges to the development process, starting with the architectural design of the underlying system. This paper has two main contributions. The first contribution is a broad domain analysis of shared virtual environments, which enables developers to have a better understanding of the whole rather than the part(s). The second contribution is a reference domain model for discussing and describing solutions-the Analysis Domain Model.

The field of shared virtual environments, which also encompasses online games and social 3D environments, has a system landscape consisting of multiple solutions that share great functional overlap. However, there is little system interoperability between the different solutions. A shared virtual environment has an associated problem domain that is highly complex raising difficult challenges to the development process, starting with the architectural design of the underlying system. This paper has two main contributions. The first contribution is a broad domain analysis of shared virtual environments, which enables developers to have a better understanding of the whole rather than the part(s). The second contribution is a reference domain model for discussing and describing solutions - the Analysis Domain Model.

A numerical technique, which combines FEM analysis of electrode area with matrix formalism applied to spectral domain analysis (SDA) of eigen modes in multi-layered substrate and multi-layered dielectric upper half-space, is described as an efficient tool of investigating the wave characteristics in periodic metal grating sandwiched between two multi-layered half-spaces, with arbitrary thickness of each layer. The universal character of the developed technique is illustrated by few examples of its application to different types of structure providing propagation of common SAW, boundary waves at interface, plate modes, normal modes in a thin film deposited over the grating etc. The transformation between the waves with continuously increasing film thicknesses can be observed. I.

We describe how prototype systems can be efficiently created from agent-oriented domain and design models. We first propose a conceptual space that accommodates model transformations described by the Model-Driven Architecture. We then explain agent-oriented domain models and platformindependent design models and show how the first can be transformed into the latter. We also demonstrate how design models can be turned into the implementation of an agent-based software system on a specific platform. The approach has a potential for further speeding up and automating the process of fast prototyping. The approach complements current agent-oriented approaches.

Ontology is specification of shared conceptualization and is building block of the semantic Web. Ontology building requires a detailed domain analysis that in turn requires financial resources, intensive domain knowledge and time. Most of industrial data is present in relational databases and a relational database schema represents a domain model. An ontology built from this schema can represent concepts and relationships that are present in domain of discourse. However, databases are not static and their schema evolves over time. Once a database schema is changed, these changes in schema should also be incorporated in ontology, generated from this database. The possible solution of regenerating a new ontology from changed database schema is not feasible because this will result in loss of manual changes of ontology. In this paper we present an approach that can be used to generate ontology from RDBs and to synchronize the generated ontology with changes occurred in the same database. We also present the prototypical implementation of the proposed approach as Protégé plug-in (i.e. DATAONTO) that can be used to generate ontology from database and to synchronize the ontology with the original database.

Ab s t r a c t. The subject matter of this paper is a research of issues related to the variability management at the stage of domain analysis (DA) in the full life cycle (FLC) of software products line (SPL). The main goal of this research work is the elaboration of a new knowledge-based information technology to support a variability management in DA as a most complex and weak-formalized stage in FLC of SPL. In order to reach this goal the following tasks were formulated and resolved: to analyze the variability issues in FLC on the example of the modern agile-development approach-in the Scrum-methodology; to study how the methods of knowledge handling can be used to support some users and domainexperts activities within the DA phase with respect to software variability modeling; to make the motivated choice of the suitable CASE-tools to elaborate an appropriate IT solution to support the knowledge-oriented approach to DA; to present this IT-solution in a structured form, to consider some its implementation issues, and to discuss the first testing results. The methods used in this research are: domain-driven design approach to software development, repertory grids method and ontologies for expert's knowledge handling, IDEF0 notation for specification of the proposed IT solution, feature-oriented domain analysis (FODA) for variability modeling. Conclusions: the results of this research shown that the special attention has to be paid to the DA in a FLC, especially with usage of knowledge-based methods. To perform this process in an effective way the repertory grids method is motivated chosen and analyzed. To support the usage of this method in DA the proposal is made to elaborate the special IT-solution using some already available CASE-tools. The essentials functionality features of two such systems: GridSuite and SOVA (Semantical and Ontological Variability Analysis) are considered, and basing on this result, the integrated IT-solution is elaborated and presented in form of the IDEF0 diagram. Finally, the main technological facets of these tools installation are studied and tested, and the test-case to show the possibility to generate the FODA-variability model for the "Smart-Home" application domain is provided.

By paying more attention to semantics-based tool generation, programming language semantics can significantly increase its impact. Ultimately, this may lead to "Language Design Assistants" incorporating substantial amounts of semantic knowledge.

Programming languages drive most if not all of modern problem-solving using computational methods and power. Research into new programming languages and methods is essential to the furthering or improvement of computational problem-solving by making the design, implementation, and application of automation to general or particular problem-solving ever easier, more accessible, and more performant. General-purpose Programming Languages (GPLs) typically are designed to be purely domain agnostic---meaning they can be applied in any field, for any kind of problem. However, this typically also makes them hard and difficult to apply in problems where non-programmers or even experts with little or no GPL programming skills are required to leverage programmatic problem solving capabilities, which is why Domain Specific Languages (DSLs) come into play; they are generally more fine-tuned towards improving human productivity and performance than that of the machine, while making solving particular, domain-oriented problems simpler. In this paper, we review the literature concerning how to design and then fully implement a new DSL, with special focus on a DSL for generic problem-solving leveraging Text Processing methods---essentially, a Text Processing Language (TPL). We consider leveraging the design research paradigm and philosophy as a systematic framework for guiding research into the development of new TPLs. This work presents for the first time, new unifying theory concerning general, but also TPL-specific language engineering theory and guiding frameworks---UPLT, PLEF & PLEf. We consider quantitative but also qualitative evaluation of programming languages. The SOE framework is re-introduced for this purpose too. Finally, we set the pace for future theoretical and practical research into the field of programming language engineering especially with focus on TPLs.

Software Reuse by frameworks attempts to capture, document and specify the architectural design experiences in form of a semi-code. It seems that high level reuse by design patterns and frameworks are more promising than other reuse techniques. We define a possible framework for metric models for object-oriented frameworks that can be used by an organization easily and further newer metric models can be added herein easily. The whole thing is divided into Metric models for a domain, Metric models for a framework for a domain, Metric models for applications (wherein this framework's reuse is expected) and Metric models to evaluate the success of framework-based development.

When the Ptolemies founded the Library at Alexandria in the third century BC, one of the first needs was to collect and arrange all the books in the inhabited world.1 In spite of contradictory figures mentioned by ancient authors about the storage of the Alexandrian collections, the result of this effort was the beginning of a monumental philological work that produced commentaries, lexica, excerpts and library catalogs. Still surviving sources preserve traces of this work and the fragments of the Pinakes of Callimachus are traditionally considered the remains of a pioneering catalog of ancient literature.2 Modern scholars have been looking for these traces in order to reconstruct methods and contributions of ancient philologists and obtain information about Classical authors and works. Collecting references to ancient works means first of all to explore and analyze the language used by ancient authors when citing and referring to other authors and works, and secondly to translate and convert the expressions of this language into canons, catalogs, and indices.3 This investigation has also allowed scholars to discover and extract traces of lost authors and works, beginning an editorial practice that is part of what we call fragmentary literature and that has been producing countless collections of printed critical editions of lost intellectuals.4 Catalogs and indices of authors and works are the result of this philological analysis, but their entries are mostly in Latin or in modern languages and only an analytical and separate reading of the passages collected in these resources provides an insight into the language used by ancient authors to express bibliographic citations, such as references to other authors and to titles and descriptions of other works. Even if linguistic annotations of ancient Greek and Latin are growing, we still miss collections and annotations of entities pertaining to authors and works extracted from ancient sources

Despite the great progress made in the evaluation of the 4-D reaction integrals arising in the method of moments applied to the surface integral equation formulations, there are still some aspects that deserve to be explored further. The focus in this paper lies in the evaluation of the 4-D reaction integral for the scalar potential. We demonstrate that, unless this integral is computed to machine precision in the whole impedance matrix, it is imperative to maintain the trianglewise balance in the evaluation of the scalar potential part. A small imbalance, even at very small error, results in a loss of degrees of freedom (DOFs) for the charge distribution, violating the null-space property of the divergence operator and yielding potentially spurious solutions. The effect, although present, may go unnoticed at the conventional frequency regimes, where the usual mesh sizes can be applied. However, it becomes more pronounced as we approach the quasi-static limit, eventually rendering spurious solutions at the frequencies higher than the classical low-frequency breakdown would.

Developing Software Product Lines (SPLs) is a paradigm oriented to reusing software within particular domains. Key aspects within this paradigm are the inherent particularities of these domains and the techniques applied to systematize the ways to maximize reuse. In this article, we describe a process for creating SPLs by reusing through domain hierarchies, starting from the geographical domain and going deeper into the paleontological sub-domain. In particular, our process is based on standardizations and previous techniques already applied to another geographical sub-domain, which is marine ecology. Here we show how these techniques are applied in the paleontological sub-domain, improving the systematic reuse of software artifacts.

The definition of Good Experimental Methodologies (GEMs) in robotics is a topic of widespread interest due also to the increasing employment of robots in everyday civilian life. The present work contributes to the ongoing discussion on GEMs for Unmanned Surface Vehicles (USVs). It focuses on the definition of GEMs and provides specific guidelines for path-following experiments. Statistically designed experiments (DoE) offer a valid basis for developing an empirical model of the system being investigated. A two-step adaptive experimental procedure for evaluating path-following performance and based on DoE, is tested on the simulator of the Charlie USV. The paper argues the necessity of performing extensive simulations prior to the execution of field trials.