Scheduled System Maintenance
On Tuesday, September 26, IEEE Xplore will undergo scheduled maintenance from 1:00-4:00 PM ET.
During this time, there may be intermittent impact on performance. We apologize for any inconvenience.

Proceedings International Conference on Software Methods and Tools. SMT 2000

6-9 Nov. 2000

Filter Results

Displaying Results 1 - 25 of 29
  • Proceedings International Conference on Software Methods and Tools. SMT 2000

    Publication Year: 2000
    Request permission for commercial reuse | PDF file iconPDF (190 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 2000, Page(s): 279
    Request permission for commercial reuse | PDF file iconPDF (40 KB)
    Freely Available from IEEE
  • Meta-component architecture for software interoperability

    Publication Year: 2000, Page(s):75 - 84
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (884 KB)

    Most existing software is one-of-a-kind, monolithic, non-interoperable, and consequently, non-reusable. In addition, this software is difficult to maintain, improve, and scale. More importantly, this software is vital to many enterprises and institutions. Thus, enterprises must continuously make trade-off decisions between developing new software and maintaining existing software. The meta-compone... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating software from models

    Publication Year: 2000, Page(s):233 - 239
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    The key challenge in enterprise information technology is meeting the needs of changing business practices in a rapidly changing technological environment. The author describes an IT implementation approach based on the OMG's Meta Object Facility. The designer expresses the required system as a high-level model and then uses meta-model based tools to generate software for a variety of implementati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards an ideal CASE tool

    Publication Year: 2000, Page(s):189 - 197
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    The research was designed to investigate factors affecting the acceptance of CASE tools within New Zealand. The research involved an analysis of the relevant literature, surveys and interviews. The questionnaire results would suggest that there is a poor uptake of CASE within New Zealand. The two main reasons for this appear to be the high cost, in the New Zealand context, of integrated CASE tools... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software component verification tool

    Publication Year: 2000, Page(s):137 - 146
    Cited by:  Papers (9)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (976 KB)

    Component based software engineering depends on reliable, robust components, since it may omit a unit test phase wholly or partially from the development cycle. The paper describes a tool that allows a component developer to design and run verification tests. In developing components for our library, we found it necessary to provide multiple mechanisms for identifying and capturing tests to overco... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Viable components: a cybernetic organization for computing

    Publication Year: 2000, Page(s):67 - 74
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    Explores the Viable System Model (VSM) as a basis for designing a component framework. The goal is to address complex application requirements by increasing the level of abstraction and through principled consistency in a component architecture. We develop a scenario around a smart lecture room. This provides a hardware and software setting to illustrate how the VSM is used to develop an advanced ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Managing the test process [software testing]

    Publication Year: 2000, Page(s):119 - 126
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1216 KB)

    Many papers and books exist on software testing and many models and theories have been put forward in the endeavor to build and deliver quality systems. Theory however, requires practical application if it is to be of any use. The paper, whilst not attempting to introduce new material into the equation, discusses various testing concepts from an industry perspective View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A first report on a new technique to model workflow systems

    Publication Year: 2000, Page(s):223 - 229
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    Workflow can be understood as the automation of a business process in the total or partial meaning, when documents or activities are passed from one participant to another. The goal is that actions start according to a set of rules and behaviors. The objective of the article is to introduce the workflow technology and to present a new technique to model workflow systems. This technique is defined ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience with designing a requirements and architecture management tool

    Publication Year: 2000, Page(s):179 - 188
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1160 KB)

    Effective tool support is much needed for the tedious and error prone task of managing system requirements and system architectures. With the primary objective of providing practical support for software engineers, we have developed a tool for managing system requirements, system architectures and their traceability which is being used in real-world industrial projects. The tool is based on a well... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Project management: methodologies versus madness in the 21st Century

    Publication Year: 2000, Page(s):13 - 17
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (368 KB)

    This paper is a catalogue of seven inter-locked propositions about the future of software project management as a tool for getting software products out of the door. The authors claim that, while software project management is here to stay, the day-to-day activities of project managers are likely to dramatically change over the next ten years, and that the current methods of training project manag... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A study of usability of Web-based software repositories

    Publication Year: 2000, Page(s):51 - 58
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    Software repositories have a key role to play in software reuse strategies to improve software development productivity. However, repositories have not been conspicuously successful, and have not been able to play their role very successfully, despite improvements in supporting technology, such as the World Wide Web. We speculate that a weakness in repositories is their usability. In this paper, w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending the software development process with a toolkit of UML-centred techniques

    Publication Year: 2000, Page(s):87 - 96
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (676 KB)

    The paper presents a UML-centred approach to knowledge management in a large software development organization. In past years, the software development strategy of our organization has migrated from structured to object oriented technology. Therefore, we have defined a generic process framework, which can be adapted to different project types. Originally, the framework focused on “what to do... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structure editors: user-defined type values and type inference

    Publication Year: 2000, Page(s):241 - 247
    Cited by:  Patents (49)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (364 KB)

    As structure editors have knowledge of an underlying language, they can guarantee that values of built-in or primitive types used in expressions are syntactically correct. In this case, type inference is quite simple and straightforward, however, there is no such support for values of user-defined types. To overcome this shortcoming, we have developed a structure editor for a polymorphic, strongly... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic distributed software architecture design with PARSE-DAT

    Publication Year: 2000, Page(s):199 - 207
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB)

    The paper presents a novel software architecture design and verification methodology. Architects employ a pragmatic graphical design method called Dynamic PARSE to design the software architecture. At the same time, they capture the concurrent and dynamic features of the system. Such dynamic features include the creation and deletion of processes and re-configurable communication links. Lastly, th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A two-level architecture for semantic protection of persistent distributed objects

    Publication Year: 2000, Page(s):149 - 156
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (524 KB)

    The article formulates requirements for achieving flexibility and security for distributed persistent objects. We argue for the separation of a user-view level from an implementation level and for the integration of capabilities for semantic protection. We describe a system based on these criteria which allows simple, secure programming of multimedia applications using Java objects distributed acr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards implementing successful software inspections

    Publication Year: 2000, Page(s):127 - 136
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    The authors present their findings of using the Repertory Grid Technique with over two hundred software practitioners in thirteen UK software companies. They use their findings to establish the ways in which inspections can be optimised to be more effective and successful as software engineering tools. The findings suggest that, contrary to conventional wisdom, developers are very positive about u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Business case to architecture in large real time systems

    Publication Year: 2000, Page(s):19 - 20
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (116 KB)

    A core part of the Software Engineering Research Centre's research programme is to try and bring all the non-functional requirements for a computer-based system, such as maintainability and reliability, forward to the analysis and design stages. This approach to the `-ilities' has proven to be successful for the ones considered so far. In parallel, the earlier stages of creating an architecture fr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Security characterisation and integrity assurance for component-based software

    Publication Year: 2000, Page(s):61 - 66
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    Software systems are increasingly being assembled from components that are developed by and purchased from third parties, for technical and economic gains. In such component-based software development, the functionality and quality-of-service attributes of the software components should be clearly and adequately specified (or packaged) through their interfaces, so that the characteristics of the s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adoption of integrated process and product support for software engineering in SP Jyvaskyla

    Publication Year: 2000, Page(s):97 - 105
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (796 KB)

    The study investigates software process engineering boosted with software process modelling and computer based support for it. The research question discussed is how to support process understanding, guidance and process model utilisation with a selected design environment. We study the research question by conducting a process improvement experiment in an industrial software development environme... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A method and support environment for distributed software component engineering

    Publication Year: 2000, Page(s):157 - 166
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (980 KB)

    Engineering component based software systems is challenging, and made even more difficult when multiple developers are involved. A suitable software process for distributed component engineering is required, along with appropriate development notations and collaborative work supporting tools. The paper describes a component engineering methodology we have been developing, along with examples of it... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software tools: past, present, and future

    Publication Year: 2000, Page(s):3 - 6
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (356 KB)

    Software tools support software development processes and reflect the types of applications being developed. Over the past 20 years, applications have evolved significantly, from those based on a single processor to client-server to n-tier Web-based. Future applications will take advantage of emerging technologies in high-bandwidth networking, “smart” mobile devices and speech processi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strategic IT planning: assessing the options - handling rapid changes in IT systems and availability

    Publication Year: 2000, Page(s):21 - 25
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (376 KB)

    This paper is about the fact that those organisations that have made quick fixes to cope with rapid change are likely to face increasing difficulty as the Australian Goods and Services Tax (GST) and other legislation changes over time. Past examples of the need to address acute and transitional changes gracefully and without affecting productivity are the Year-2000 (Y2K) problem, 8-digit telephone... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designerly thinking: what software methodology can learn from design theory

    Publication Year: 2000, Page(s):107 - 116
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (944 KB)

    Design lies at the core of software creation and construction. Software methodology has traditionally conceptualised design as an engineering process, and attempted to express the design act as process steps and model transformations. The paper examines design from the rather different perspective of the non-software domains: architecture, industrial design and the academic design disciplines that... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Workflow products as a tool construction technology for process-centered SEES

    Publication Year: 2000, Page(s):211 - 222
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    The work focuses on the process management aspects of software engineering environments (SEEs). The authors propose a development approach to the provision of process management tools that uses workflow products as a constructional technology. The paper reports on the construction of prototype tools built using this approach. The role and significance of workflow standards in this work is explaine... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.