06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis

From 07.05.06 to 12.05.06, the Dagstuhl Seminar 06191 ``Rigorous Methods for Software Construction and Analysis\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Dagstuhl News January - December 2006

"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic

Assessing the cyber-security status of the metropolitan municipalities in South Africa.

Doctoral Degree. University of KwaZulu-Natal, Durban.The intention of this enquiry was to assess the status of cyber-security in the metropolitan municipalities in South Africa. The focus on this level of local government was driven by the fact that metropolitan municipalities are the economic hubs with a variety of industrial facilities and are the places with high population densities. The metropolitan municipalities have adopted information infrastructures to support the daily administrative processes and, equally important, to support the delivery of essential services such as the distribution of electricity and clean water to the local citizens and communities. Entrenched in the adoption of information infrastructures are the cyber ills which if left unattended could have devastating consequences on people and industrial facilities. Failures or interruptions to information infrastructures have cascading effects due to interconnectedness of these infrastructures. The study used the Constructivist Grounded Theory Methodology to explore the activities that are performed by the metropolitan municipalities with the intention to determine what needs to be in place to safeguard their information infrastructures from cyber ills. Cyber-security is a serious concern in all types of businesses that are largely supported by information infrastructures in pursuit of the business objectives. Information infrastructures are susceptible to cyber-security threats, which if left unattended can shut the municipality operations down with disastrous consequences. A substantive theory of integrated development cyber-security emerged from the Constructivist Grounded Theory Methodology processes of data collecting through comprehensive interviews, initial coding, focused coding, memoing, and theoretical coding. A municipal cyber-security conceptual framework was developed from the integrated development cyber-security theory constructs of integrated development cyber-security which are the core category, cyber-security governance category, cyber-security technical operations category, and human issues in cyber-security category. The conceptual framework was used to formulate the cyber-security status assessment survey questionnaire that was adopted as an instrument to assess the cyber-security status in the metropolitan municipalities. The cyber-security status assessment instrument was deployed in metropolitan municipalities, wherein data was collected and statistically analysed to test and confirm its validity. The assessment results were analysed and showed the as is posture of cyber-security, the gaps in the current implemented cyber-security controls were identified together with the risks associated with those gaps, corrective actions to address the identified deficiencies were identified and recommended/communicated to the management of relevant municipalities

Microbial profiling using metagenomic assembly

The application of second generation sequencing technology to the characterization of complex microbial communities has profoundly affected our appreciation of microbial diversity. The explosive growth of microbial sequence data has also necessitated advances in bioinformatic methods for profiling microbial communities. Data aggregation strategies should allow the relation of metagenomic sequence data to our understanding of microbial taxonomy, while also facilitating the discovery of novel taxa. For eukaryotes, a method has been established that links DNA sequences to the identification of organisms: DNA Barcoding. A similar approach has been developed for prokaryotes using target genic regions as markers for species identification and to profile communities. A key difference in these efforts is that within DNA barcoding there is a formalized framework for the evaluation of barcoding targets, whereas for prokaryotes the 16S rRNA gene target has become the de facto barcode without formal evaluation. Using the framework developed for evaluating DNA barcodes in eukaryotes, a study was undertaken to formally evaluate 16S rRNA and cpn60 as DNA barcodes for Bacteria. Both 16S rRNA and cpn60 were found to meet the criteria for DNA barcodes, with cpn60 a preferred barcode based on its superior resolution of closely related taxa. The high resolution of cpn60 enabled a method of sequence data aggregation through sequence assembly: microbial profiling using metagenomic assembly (mPUMA). The scoring of metagenomic assemblies in terms of sensitivity and specificity of the operational taxonomic units formed was used to evaluate and optimize the assembly of cpn60 barcodes. Using optimized parameters, mPUMA was demonstrated to faithfully reconstruct a synthetic community in terms of richness and abundance. To facilitate the use of mPUMA, a software package was developed and released under an open source license. The utility of mPUMA was further examined through the characterization of the epiphytic seed microbiomes of Triticum and Brassica species. A microbiome shared across both crop genera including fungi and bacteria was detected: a particularly important observation as it implies that seeds may serve as a vector for microbes that could include both pathogenic and beneficial organisms. The relative abundances of taxa identified by mPUMA were confirmed by qPCR for multiple cases of both fungal and bacterial taxa. By culturing isolates of both bacteria and fungi from the seed surfaces it was demonstrated that mPUMA faithfully assembled consensus sequences for OTUs that were 100% identical to isolated fungi and bacteria. Patterns observed in the relative abundances of the shared microbiome OTUs were used to generate the hypothesis that an Pantoea-like bacterium and an Alternaria-like fungus had an antagonistic relationship, since sequences corresponding to these organisms showed reciprocal abundance patterns on Triticum and Brassica seeds. Studies of the interactions of cultured isolates revealed fungistatic interactions that could account for their reciprocal abundances. These interactions could be directly relevant to plant health, given that Alternaria-like fungi are linked to grain spoilage in wheat, and diseases in canola. Taken together, results of this thesis demonstrate the superiority of the cpn60 universal target as a barcode for Bacteria, forming the basis for an assembly-based strategy for microbial profiling of bacterial and eukaryotic microbial communities that can lead to the discovery of novel taxa and microbial interactions

Designing Digital Work

Combining theory, methodology and tools, this open access book illustrates how to guide innovation in today’s digitized business environment. Highlighting the importance of human knowledge and experience in implementing business processes, the authors take a conceptual perspective to explore the challenges and issues currently facing organizations. Subsequent chapters put these concepts into practice, discussing instruments that can be used to support the articulation and alignment of knowledge within work processes. A timely and comprehensive set of tools and case studies, this book is essential reading for those researching innovation and digitization, organization and business strategy

The Effects of Trademark Rights on the East African Common Market

Trademark rights play a significant role in the proper functioning of a common market of a given regional bloc. Experience teaches that, unless national trade mark regimes of individual countries cooperating in a given regional bloc such as the East African Community (EAC) are integrated into a common market, trademark proprietors may invoke their intellectual property rights to dissect the common market into different national markets and in that way blocking the free movement of trademarked goods from one part of the common market to the other. This book is therefore intended as guideline when addressing the challenges posed on a regional common market by the absence of a common market for trademarked goods. The study provides for legal techniques through which the latter market may be established to compliment an existing common market as a policy choice in favour of the principle of free movement of goods. To this end, the book analyses key principles that govern the EU’s community trade mark system and determines the extent to which these principles may be adapted to suit the EAC common market

SEARCHING FOR EFFICIENCIES THROUGH THE CONSOLIDATION OF NON-INSTRUCTIONAL SERVICES IN MICHIGAN K-12 PUBLIC SCHOOLS

One important source of creating school efficiencies has been the consolidation of non-instructional support services with another educational entity. In Michigan, as state financial resources have dwindled, so has fiscal support of schools. This has forced districts to examine alternative ways to educate students and provide services. In K-12 districts, the search for financial efficiencies often begins with examining the costs of district-level support services, including administration, business office, and custodial services. Staffing creates the largest expense for educational institutions, yet there has been limited investigation into the size and cost of staffing for the non-instructional services subject to possible service consolidation. Using data available from Michigan databases, the study analyzed relationships between staffing levels and common district characteristics of enrollment, foundation allowance, per pupil expenditures by function, per pupil wages by function, and per pupil benefits by function. The study used a combination of descriptive statistics, correlational analysis, cross-sectional regression analysis, and fixed effects regression analysis to determine which model variables had influence on staffing, along with whether staffing levels could be estimated. This study also examined the impact consolidation of support services had on these same variables and the models’ estimation ability. The study found that several of the model variables had influence on staffing in both consolidated service and non-consolidated service arrangements. The models’ estimation abilities appeared successful in non-consolidated service arrangements, but the results were less dependable when only examining districts with consolidated service arrangements.Ed.D.Educational AdministrationUniversity of Michigan-Flinthttp://deepblue.lib.umich.edu/bitstream/2027.42/162567/1/Cartwright2020.pdfDescription of Cartwright2020.pdf : thesi

Reform of building codes, regulations, administration and enforcement in Kuwait: within the legal, administrative, technical & social framework

The majority of building code development and implementation practices are normally connected with the progress of construction community changing awareness, needs and perspectives, advanced technology in construction and new level of knowledge. Unproven practices and the technology of building code development and implementation in case of insufficient and outdated codes, the use of unproven advanced codes of other countries, or the infringement of the existing codes, in most cases, could lead to a large number of shortcomings of minimum requirements of public health, safety and general welfare, and poor quality of buildings. Every aspect of a building code development and implementation practice could be influenced by insufficiencies and infringements in building codes/regulations that could cause buildings failures. Generally, the success of a building code development and implementation practice is directly connected with the involved insufficiencies and infringements in the framework of building code (legal, Administrative, technical, & social), i.e. faults of building code development and implementation should be successfully resolved in order to come to an end of a building project assuring code's objectives (public health, safety and general welfare). One of the early research problems of building code development and implementation practice was conducted by Productivity Commission (2004) where the research organized and categorized the causes of shortcomings of BC according to four main functions of building code, including legal, administrative, technical, and social functions. Productivity Commission Research had been the starting point of research problems of building codes in Kuwait. For the past 20 years, many researchers have high numbers of categories, components and rankings to explain different types of insufficiencies and infringements in building codes/regulations. However, these categories and rankings produce inconsistent and overlapping cause and impact factors. In addition, researchers and practitioners at this point tend to focus on the technical and administrative sides related to the issues of building codes development and implementation, and neglecting the importance of legal and social sides. Legal issues like finding a law to prepare and enforce building codes, cover of insurance companies, building materials testing system, weak regulations related issues, building specifications, and clarity of regulation texts; as well as social issues like community awareness, issuing and enforcing legal court rules, deterrent punishments for violators, violations or cheatings in related issues, all of these were deemed not that critical by most reviewers. The research is specifically concerned with the insufficiencies and infringements in building codes/regulations which cause shortcomings of minimum requirements of public health, safety and general welfare, and how related cause and impact factors are selected and organized. Existing research highlights the need for further researches of how to relate between research and building regulations that are at present. There is evidence that construction industries around the world have little experience in this area (CIB TG37, 2001). The proposal within this research is to address this aspect of the debate by seeking to clarify the role of the four functions of building code; legal, administrative, technical, and social function as a frame of reference that stakeholder parties (building officials, design and construction professionals) might agree with and which should act as the basis for the selection and formation of occurrences of cause factors, and their iv impact on public health, safety and general welfare. The focus on the four functions of building code as a fault (cause) frame of reference potentially leads to a common, practical view of the (multi) dimensionality setting of fault (cause) within which cause factors may be identified and which, we believe, could be grounded across a wide range of practices specifically in this research of building code development and implementation. The research surveyed and examined the opinions of building officials, design and construction professionals. We assess which fault (cause) factors are most likely to occur in building and construction projects; evaluate fault (cause) impact by assessing which fault (cause) factors that building officials, design and construction professionals specifically think are likely to arise in the possibility of shortcomings of minimum requirements of public health, safety and general welfare. The data obtained were processed, analyzed and ranked. By using the EXCEL and SPSS for factor analysis, all the fault (cause) factors were reduced and groups into clusters and components for further correlation analysis. The analysis was able to prove an opinion on fault (cause) likelihood, the impact of the fault (cause) on the objectives of building code. The analysis indicates that it is possible to identify grouping of insufficiencies and infringements in building codes/regulations that is correspondent to the different parts of the framework of building code (legal, Administrative, technical, & social) these suggest three identified groups when viewing cause from the likelihood occurrence and four identified groups and their impact for each building code objective. The evidence related to the impact of building code objectives, view of cause, and provides a stronger view of which components of cause were important compared with cause likelihood. The research accounts for the difference by suggesting that a more selection and formation of cause and impact, offered by viewing cause within the context of a framework of building code, and viewing impact within the context of building code objectives (public health, safety and general welfare) allows those involved in building code development and implementation to have an understandable view of the relationships within cause factors, and between cause and impact factors. It also allows the various cause components and the associated emergent clusters to be more readily identified. The contribution of the research relates to the assessment of cause within a construction that is defined in the context of a fairly broad accepted view of the framework of building code (legal, Administrative, technical, & social). The fault (cause) likelihood construction is based on the building code framework proposed in this research and could facilitates a focus on roles and responsibilities, and allows the coordination and integration of activities for regular development and implementation with the building code goals. This contribution would better enable building officials and code writers to identify and manage faults (causes) as they emerge with BC aspects/parts and more closely reflect building and construction activities and processes and facilitate the fault (cause) administration exercise

Aeronautical Engineering: A continuing bibliography with indexes, supplement 110

This bibliography lists 504 reports, articles, and other documents introduced into the NASA scientific and technical information system in May 1979