检索结果-内蒙古大学图书馆

IEEE International Conference on Automated software engineering (ASE)

作者： P. Henderson R. Walters Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK

There is a continuing need for software engineers to design better-quality systems more quickly. Component-based technologies promise to make this possible, but modern systems are too complex for a full analysis of their behaviour to be practical. We propose that a reasonable alternative is to analyse abstract models of the essential features of a system. Since these models are abstract, they need contain only those details that are relevant to the aspect of the system under consideration. Consequently, they can be small enough to be constructed quickly and analysed thoroughly using formal methods. Tools are required which are accessible to the novice but which remain powerful enough to build models with a formal foundation so that they can be used by system designers who have limited expertise in the use of formal methods. We propose our tool, RolEnact, as a candidate for this role.

关键词： software engineering computer science software tools Design engineering Power system modeling software quality Java Hardware

来源：评论

学校读者我要写书评

暂无评论

System design validation using formal models

System design validation using formal models

引用

International Workshop on Rapid System Prototyping (RSP)

作者： P. Henderson R. Walters Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK

Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and verify the system in its entirety is to build and evaluate an abstract model(s) of aspects of the system that are perceived as important. Using a model will not provide proof of the system, but it can help to find shortcomings and errors at an early stage. Executing the model should also give a measure of confidence in the final product. Many systems today are built from communicating components so that the task of the developers is becoming fitting these components together to form the required system. We show how a formal model can be sympathetic to this type of architecture using our tool, RolEnact and explain how this may be related to a COM implementation.

关键词： software engineering computer science Costs Prototypes Ear Programming Safety Inspection User interfaces software tools

来源：评论

学校读者我要写书评

暂无评论

Tool support for testing and documenting framework-based software

Tool support for testing and documenting framework-based sof...

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： W. Strunk C. Lilienthal Micrologica AG Bargteheide Germany Department of Computer Science Software Engineering Group University of Hamburg Hamburg Germany

Complex object oriented applications are these days built on the basis of frameworks. While it is clear that a framework and the applications built using the framework conform to some design, we experienced a mismatch between the "idealized" software architecture presented in the documentation and the architectural structures actually existing in the source code. This mismatch belongs either to the failures of the developer in implementing the proposed architecture or to the lack of tool support. By providing tool support for dynamic diagrams, applications can be animated for debug and optimization purposes and actual design documentation can be extracted from the implemented model. Framework inspection using a true object oriented approach enables the software engineer to access the source level using an object oriented map of the observed application instead of switching to a procedural way of working.

关键词： software testing software tools Application software Documentation software architecture computer architecture Animation Design optimization Object oriented modeling Inspection

来源：评论

学校读者我要写书评

暂无评论

Drawing Clustered Graphs on an Orthogonal Grid

引用

Journal of Graph Algorithms and Applications 1999年第4期3卷 3-29页

作者： Eades, Peter Feng, Qingwen Nagamochi, Hiroshi Department of Computer Science and Software Engineering University of Newcastle Australia Tom Sawyer Software United States Department of Applied Mathematics and Physics Kyoto University Japan

Clustered graphs are graphs with recursive clustering structures over the vertices. For graphical representation, the clustering structure is represented by a simple region that contains the drawing of all the vertices which belong to that cluster. In this paper, we present an algorithm which produces planar drawings of clustered graphs in a convention known as orthogonal grid rectangular cluster drawings. If the input graph has n vertices, then the algorithm produces in O(n) time a drawing with O(n2 ) area and at most 3 bends in each edge. This result is as good as existing results for classical planar graphs. Further, we show that our algorithm is optimal in terms of the number of bends per edge. © 1999, Brown University. All rights reserved.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Designing reusable object-oriented architectures - challenges, methods & tools

Designing reusable object-oriented architectures - challenge...

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： Kai Koskimies W. Pree J. Bosch G. Hedin Software Systems Laboratory Tampere University of Technology Tampere Finland Software Engineering Group University of Constance Constance Germany Department of Computer Science University of Karlskrona Ronneby Ronneby Sweden Department of Computer Science Lund University Lund Sweden

Summary form only given, as follows. More and more software developers are recognizing the need for solutions that make it possible to share code between different applications in the same domain. Reusing code increases not only the productivity of the developers but also the reliability and maintainability of the software products. Many software companies have ended up with a repository of enterprise components modelling the core business of the company, or with a product-line architecture that captures the common aspects of a family of software products. In both cases, object-orientation (OO) offers a technology that enables these solutions. The workshop studies the problems in designing reuse-oriented architectures (ROA) within the OO paradigm and the OO techniques that support this. The design of such systems is much harder than the design of individual applications, because ROAs need to be valid for unforeseen applications. Instead of a closed world of application concepts, the designer must analyze the variable aspects of a domain. The workshop covers a wide range of topics related to the development of ROAs, including: Design methods for OO product-lines/frameworks; Case studies of existing ROAs; Patterns and architectural styles supporting ROAs; Component-based ROAs; Evaluation of ROAs; Tools supporting the creation and reuse of product-line platforms and frameworks; Documentation of product-line platforms and frameworks; Practical experiences with reuse in OO; and Re-engineering legacy systems into ROAs.

关键词： software maintenance computer architecture Application software Object oriented modeling Design methodology Documentation

来源：评论

学校读者我要写书评

暂无评论

Dynamic process initial conditions in repetitive processes. Controllability and stability analysis

Dynamic process initial conditions in repetitive processes. ...

引用

1999 Information, Decision and Control, IDC 1999

作者： Galkowski, K. Rogers, E. Gramacki, A. Gramacki, J. Owens, D.H. Technical University of Zielona Gora Institute of Robotics and Software Engineering Zielona Gora Poland University of Southampton Image Speech and Intelligent Systems Research Group Department of Electronics and Computer Science SouthamptonSO17 lBJ United Kingdom University of Exeter Centre for Systems and Control Engineering School of Engineering ExeterEX4 4QF United Kingdom

ISBN: (纸本)0780352564

Repetitive, or multipass, processes are a class of 2D systems of both practical and algorithmic/theoretical interest whose dynamics cannot be analysed or controlled using standard (1D) systems theory. Recently it has been shown that the modelling of the boundary conditions, also known as the process initial conditions, is a crucial feature in the analysis and control of these processes. This paper presents some further results on the effects of so-called 'dynamic' process initial conditions on the controllability and stability properties of discrete linear repetitive processes. Previous work has shown that these dynamic process initial conditions alone can destroy the stability properties of these processes. Hence their effects must be 'adequately' accounted for the process modelling stage in order to ensure that subsequent analysis does not lead to incorrect results/conclusions. The main results developed in this paper can be summarised as follows. (i) Computationally efficient stability tests which can, in effect, be applied using standard, or 1D, linear systems tests. (ii) Characterisation of so-called pass controllability in the form of matrix rank based conditions. (iii) Conditions under which the dynamic process initial conditions can be selected to ensure stability and pass controllability. © 1999 IEEE.

关键词： Controllability

来源：评论

学校读者我要写书评

暂无评论

Data mining with self generating neuro-fuzzy classifiers

Data mining with self generating neuro-fuzzy classifiers

引用

IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

作者： D. Alahakoon S.K. Halgamuge B. Srinivasan School of Computer Science and Software Engineering Monash University Caulfield VIC Australia Mechatronics Research Group Department of Mechanical and Manufacturing Engineering University of Melbourne Parkville VIC Australia

Self generating neural networks have been presented as a better alternative to fixed structure networks in data mining applications. It has also been shown that the nearest prototype classifier is functionally equivalent to an alternative fuzzy classifier model. Several supervised neural networks have been developed to generate nearest prototypes which can be converted to fuzzy rules. We present an extended version of our growing self-organising map (GSOM) model which can also be used to identify nearest prototypes for generating fuzzy rules.

关键词： Data mining Prototypes Neural networks Fuzzy sets Fuzzy neural networks Fuzzy systems Neurons Clustering algorithms Data analysis computer science

来源：评论

学校读者我要写书评

暂无评论

Dynamic process initial conditions in repetitive processes. Controllability and stability analysis

Dynamic process initial conditions in repetitive processes. ...

引用

Information, Decision and Control (IDC)

作者： K. Galkowski E. Rogers A. Gramacki J. Gramacki D.H. Owens Institute of Robotics and Software Engineering Technical University of Zielona Góra Zielona Gora Poland Department of Electronics and Computer Science Image Speech and Intelligent Systems Research Group University of Southampton Southampton UK Institute of Computer Engineering and Electronics Technical University of Zielona Góra Zielona Gora Poland School of Engineering Centre for Systems and Control Engineering University of Exeter Exeter UK

关键词： Stability Controllability System testing Control system analysis Algorithm design and analysis Control systems Boundary conditions Process control Standards development Linear systems

来源：评论

学校读者我要写书评

暂无评论

Automatic adjustment system for the optical head of a magnetooptical disk drive

引用

Systems and computers in Japan 1999年第10期30卷 1-12页

作者： Matsueda, Jun Oosawa, Fujio Sutou, Kazumi Kikuchi, Takahiro Tamano, Michio Koezuka, Tetsuo Furukawa, Yasuo Corp. Mfg. Engineering Systems Group Fujitsu Ltd. Kawasaki 211-8588 Japan Fujitsu Automation Ltd. Oyama 323-0042 Japan Fujitsu Laboratories Ltd. Atsugi 243-0197 Japan Department of Computer Science University of Electro-Communications Fujitsu 1st Commun. Software Co. Fujitsu Ltd. Corp. Mfg. Engineering Systems Group Department of Mathematics Nihon University Fujitsu 1st Commun. Software Ltd. Fujitsu Automation Ltd. 2nd Business Center

A fully automatic adjustment system for mass production of the optical head for magnetooptical disk drives is described. The optical head is composed of millimeter scale optical components, such as laser diode, the collimator lens, the object lens, various prisms and various detectors. A series of algorithms composed of measurement, recognition, calculation of manipulation, execution of manipulation, verification and fixation ensures proper adjustment of the head. The key is to process the measured value, recognize the shape of the beam and the waveform, and determine the manipulation. With this system, the adjustment process is reduced to 6 minutes, as compared to 9 hours it takes an experience worker.

关键词： Optical disk storage

来源：评论

学校读者我要写书评

暂无评论

Royal Academy of Medicine in Ireland Section of Bioengineering

引用

Irish Journal of Medical science 1999年第3期168卷 208-220页

作者： Lee, T. C. Shine, J. D. FitzPatrick, D. P. Bradley, J. A. O’Connor, J. J. O’Kelly, K. U. Carr, A. J. McCormack, B. A. O. O’Neill, P. Cole, J. S. Watterson, J. K. Raghunathan, S. O’Reilly, M. J. G. Pherwani, A. Rice, J. McCormack, D. Maher, S. A. Prendergast, P. J. Reid, A. J. Waide, D. V. Chambers, S. D. Bartlett, R. H. Ceccio, S. L. Murphy, L. A. Lacroix, D. Murphy, B. P. Mullett, H. Shannon, F. Lawlor, G. O’Rourke, S. K. Connolly, P. Maher, S. Devitt, A. McElwain, J. O’Reilly, P. McCarthy, D. R. Kernohan, G. Buchanan, F. J. Sim, B. Downes, S. Bennett, D. B. Orr, J. F. Dorrell, P. F. Fleming, P. Stephens, M. Moholkar, K. Fenelon, G. Doyle, A. M. Dockrell, S. Normoyle, P. Geraghty, D. MacNamara, S. Lacey, G. Lally, C. McGloughlin, T. Grace, P. Walsh, M. McGIoughlin, T. Colgan, D. Daly, S. Dolan, B. Flynn, M. J. Shuhaibar, M. Neligan, M. C. McMillan, N. D. O’Mongain, E. Walsh, J. Miller, R. Mitchell, I. O’Neill, M. Brennan, F. Ridgway, P. Blayney, A. W. Monkhouse, W. S. O’Brien, F. J. Taylor, D. Mushipe, M. T. Shelton, J. C. Revell, P. A. McCarthy, M. A. Pearse, K. M. O’Keefe, D. T. Lyons, G. M. Leane, G. E. Mulcahy, E. Bray, K. Conway, B. A. Halliday, D. M. Rosenberg, J. R. Anderson, R. Grace, P. A. Kinsella, S. M. Harrison, A. J. Lyons, D. J. Wallace, K. E. Hill, R. G. Pembroke, J. T. Brown, C. J. Hatton, P. V. Bryan, K. Buggy, M. Noe, J. M. Nico, A. C. McConnell, L. A. McGivern, R. C. Marsh, D. R. Meenan, B. J. Workman, A. Kuiper, J. H. Department of Anatomy Royal College of Surgeons in Ireland Dublin 2 Department of Mechanical and Manufacturing Engineering Trinity College Dublin 2 Division of Neuroscience and Biomedical Systems Glasgow University Glasgow Stryker Howmedica Osteonics Limerick Bioengineering Research Centre Department of Mechanical Engineering University College Dublin Department of Engineering Science University of Oxford England Bioengineering Research Centre Department of Mechanical Engineering University College Dublin Belfield Dublin 4 Department of Mechanical & Electronic Engineering Sligo Institute of Technology Co Sligo School of Aeronautical Engineering The Queen’s University of Belfast Belfast Vascular Surgery Unit Belfast City Hospital Belfast Department of Orthopaedic Surgery The Children’s Hospital Dublin 1 The Children’s Hospital Dublin 1 Department of Mechanical Engineering Trinity College Dublin 2 Tallaght Hospital Dublin 24 Bioengineering Group Dept. of Mechanical Engineering Trinity College Dublin 2 Department of Mechanical Engineering National University of Ireland Galway Department of Surgery University of Michigan Ann Arbor USA Department of Mechanical Engineering and Applied Mechanics University of Michigan Ann Arbor USA Department of Mechanical Engineering University of Dublin Ireland Department of Orthopaedic Surgery St. Vincent’s Hospital Dublin Department of Bioengineering University College Dublin Belfield Dublin Our Lady’s Hospital for Sick Children Crumlin Waterford General Hospital Co. Waterford Health Sciences University of Ulster Newtownabbey Co Antrim N. Ireland School of Mechanical and Manufacturing Engineering The Queen’s University of Belfast Belfast School of Biomedical Science The University of Nottingham Nottingham Department of Orthopaedic Surgery St. James’s Hospital Dublin 8 School of Physiotherapy University of Dublin Ireland Department of Computer Science Trinity College Dublin Ireland University of Limerick Limerick Ireland

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：