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.
Analysis of formally specified Component Based Software (CBS) provides a concrete way to represent the requirements from both system and user. A CASE tool makes a development more powerful and gives a graphical effect by which a user can easily visualize the fact. Powerful CASE tools for CBS are useful to improve the developer productivity and ensure the syntactical correctness of the CBS model for...
In view of university multi-school district coexisting and many libraries distributed in the different school district, system hardware cost is high, the load of system maintenance is big, the extendibility of system is bad, so we develop library management system's modeling research based on the Web. In the modeling process, we use the UML standard modeling technology to construct system's structure...
MEG (Mu to Electron Gamma) is an experiment dedicated to search for the μ+ → e+γ decay that is strongly suppressed in the Standard Model. MEG is a small-size experiment (≈ 50-60 physicists at any time) with a life span of about 10 years. The limited human resource available, in particular in the core offline group, emphasized the importance of reusing software and exploiting already existing expertise...
Model Driven Architecture (MDA) is a new development method which can improve the repeatability and portability through separating the business model and implementation technique under the core of model. Model transformation is the main content of study in MDA. The article puts forward an expanding Model Transformation Platform (MTP) combining the characters in Web Application Development and the...
Applying domain engineering, the equipment maintenance support system is analyzed and the essential entities are abstracted. Using the executable specification tool-ExSpect, a domain library is constructed, including maintenance organization module, distribution stock module, transport unit module and management department module. By constructing the simulation Object Model (SOM) and the Interface...
The construction industry has been facing a paradigm shift to (i) increase; productivity, efficiency, infrastructure value, quality and sustainability, (ii) reduce; lifecycle costs, lead times and duplications, via effective collaboration and communication of stakeholders in construction projects. Digital construction is a political initiative to address low productivity in the sector. This seeks...
In order to realization electronic parts product appearance quality detection control, one kind of processor based on the intelligent knowledge automatic extraction and system intelligence modeling was presented. In the processor, wavelet-fuzzy technique and neural network technique are combined. Uses the fuzzy wavelet extraction image feature, and wavelet function is used as fuzzy membership function...
We describe a benchmark of publicly-available multi-threaded programs with documented bugs in them. This project was initiated a few years ago with the goal of helping research groups in the fields of concurrent testing and debugging to develop tools and algorithms that improve the quality of concurrent programs. We present a survey of usage of the benchmark, concluding that the benchmark had an impact...
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.