sss ssss      rrrrrrrrrrr
                      ssss    ss       rrrr   rrrr
                     sssss     s       rrrr    rrrr
                     ssssss            rrrr    rrrr
                      ssssssss         rrrr   rrrr
                          ssssss       rrrrrrrrr
                    s      ssssss      rrrr  rrrr
                    ss      sssss      rrrr   rrrr
                    sss    sssss       rrrr    rrrr
                    s  sssssss        rrrrr     rrrrr
         +=======    Quality Techniques Newsletter    =======+
         +=======           December 2003             =======+

subscribers worldwide to support the Software Research, Inc. (SR),
eValid, and TestWorks user communities and to other interested
parties to provide information of general use to the worldwide
internet and software quality and testing community.

Permission to copy and/or re-distribute is granted, and secondary
circulation is encouraged by recipients of QTN, provided that the
entire document/file is kept intact and this complete copyright
notice appears in all copies.  Information on how to subscribe or
unsubscribe is at the end of this issue.  (c) Copyright 2003 by
Software Research, Inc.


                       Contents of This Issue

   o  Response to Boris Beizer's Article, by Don O'Neill

   o  SQRL Report Summary

   o  eValid: A Quick Summary

   o  5th International Conference on Electronic Commerce and Web
      Technologies (EC-Web 2004)

   o  IEEE Micro: Special Issue on Embedded Systems

   o  ISSTA 2004: Internaional Symposium on Software Testing and

   o  International Journal of Web Services

   o  SAFECOMP 2004: 23rd International Conference on Computer
      Safety, Reliability and Security

   o  QTN Article Submittal, Subscription Information


             Seasons' Greetings from Software Research

We wish all QTN readers everywhere the very best for the 2003-2004
Holiday Season.  2003 was a very difficult year for the entire Software
Quality community, but the signs are good and we are looking forward
to a great 2004!

                          HAPPY NEW YEAR!


                 Response to Boris Beizer's Article
                            Don O'Neill
                  Global Software Competitiveness
                      Executive Vice President
                Center for National Software Studies

I was very pleased to see Boris Beizer's essay on "On Being
Competitive."  I have been researching and studying global software
competitiveness since 1996 in association with the Center for
National Software Studies (CNSS),  and wanted to share some thoughts
on competitiveness.

Boris Beizer warned against adopting a too narrow definition of
competitiveness. He then settles for permanence and love as the
pillars of competitiveness. Competitiveness is fleeting and lacks
any sense of permanence or entitlement; it must be earned over and
over again by delivering value add and earning customer satisfaction
and customer loyalty. Unlike love, competitiveness is more like
warfare where the battle strategy is to dominate the market niche;
the ground tactics are to deliver the value that earns customer
satisfaction; the weapons arsenal includes deep domain knowledge,
product engineering skills, organization process maturity, and
strategic software management; consumables include personnel
resources; and perimeter threats involve government intrusion, new
realities of software engineering, and change.The battle strategy is
to dominate the market niche.

The Council on Competitiveness defines competitiveness as the
capacity of goods and services to meet the test of international
markets while maintaining or boosting the real wages of workers. Now
this definition may not appeal to everyone, but it is in the right
direction for a software profession that wishes to engage in shaping
public policy.

In association with the Center for National Software Studies (CNSS),
I have identified the enterprise capabilities needed to achieve
global software competition. In addition, leading indicators have
been identified to guide assessment and improvement of these
capabilities along with models to reason about competitiveness in
various dimensions.

The strategic management of  global competitiveness in software
calls for setting direction, providing fuel, and controlling the
business environment including the supplier, the customer, the
competition, and change and event threats.  Accordingly, enterprise
maturity in global software competitiveness is achieved in five

Level 1 is the absence of expectation, achievement, and engagement
in the conversation on global software competitiveness. Hopefully an
industry conversation on global software competitiveness can be
stimulated as a first step towards being competitive.

Level 2 is associated with the availability of personnel skills and
resources and their deployment.   Software personnel are the most
precious resource a globally competitive enterprise can possess. It
is not simply a human resources task of correcting turnover through
recruitment; instead software and its people impact the culture of
the enterprise... profoundly. Supplier control is achieved by
establishing  an attractive workplace culture, achieving maturity in
process and skills, deepening industry relationships, and retaining

Level 3 is associated with value to the customer derived through
vigorous competition for current market niche with mature products
that deliver value and earn customer satisfaction.  Controlling the
customer has many faces. It is not simply satisfying and delighting;
instead it is delivering value and achieving total customer
satisfaction through an increasingly intimate relationship. Customer
control is achieved by deepening customer relationships, balancing
business factors, and achieving total customer satisfaction.

Level 4 is associated with competing for the future by setting the
industry standard and practicing reuse and domain architecture
technology to meet it. Controlling the competition is the preferred
tactic. It is not simply competing head on head with falling
margins; instead it is inventing a new niche, occupying it alone,
and avoiding head on head competition... perhaps even cooper ating.
Competitor control is achieved by deepening community relationships,
fielding superior products, and setting the direction for the niche.

Level 5 is associated with managing change and controlling event
threats through strategic software management that raises the
ability to improve software to a core competence. Event threats and
change introduce uncertainty... where luck plays a role in the
process of experimentation, and chaos is the ethos of
competitiveness. Event threat control is achieved by guarding
against government intrusion, applying strategic software
management, performing due diligence, and understanding reality.

Unfortunately the competitiveness of the U.S. software industry is
eroding and approaching the tipping point as its practitioners adopt
asymmetric tactics that deliver immediate benefits at the expense of
future health and well being.  It is an arresting fact that software
competitiveness is being jeopardized by a widespread dependence on
outsourcing and foreign nationals to reduce costs, a willingness to
field software products with defects to achieve time to market, and
the neglect of software research and education. These asymmetric
tactics are short cuts that produce short term results, perhaps even
increased profitability, but leave an enterprise with only a brittle
shell of competitive capability.


                         SQRL Report No. 18
              The Seven Virtues of Simple Type Theory
                         William M. Farmer

Abstract:  Simple type theory, also known as higher-order logic, is
a natural extension of first-order logic which is simple, elegant,
highly expressive, and practical. This paper surveys the virtues of
simple type theory and attempts to show that simple type theory is
an attractive alternative to first-order logic for practical-minded
scientists, engineers, and mathematicians.  It recommends that
simple type theory be incorporated into introductory logic courses
offered by mathematics departments.

The web address for downloading reports is:


                      eValid: A Quick Summary

Readers of QTN probably are aware of SR's eValid technology offering
that addresses website quality issues.

Here is a summary of eValid's benefits and advantages.

  o InBrowser(tm) Technology.  All the test functions are built into
    the eValid browser.  eValid offers total accuracy and natural
    access to "all things web."  If you can browse it, you can test
    it.  And, eValid's unique capabilities are used by a growing
    number of firms as the basis for their active services
    monitoring offerings.

  o Functional Testing, Regression Testing.  Easy to use GUI based
    record and playback with full spectrum of validation functions.
    The eVmanage component provides complete, natural test suite

  o LoadTest Server Loading.  Multiple eValid's play back multiple
    independent user sessions -- unparalleled accuracy and
    efficiency.  Plus: No Virtual Users!  Single and multiple
    machine usages with consolidated reporting.

  o Mapping and Site Analysis.  The built-in WebSite spider travels
    through your website and applies a variety of checks and filters
    to every accessible page.  All done entirely from the users'
    perspective -- from a browser -- just as your users will see
    your website.

  o Desktop, Enterprise Products.  eValid test and analysis engines
    are delivered at moderate costs for desktop use, and at very
    competitive prices for use throughout your enterprise.

  o Performance Tuning Services.  Outsourcing your server loading
    activity can surely save your budget and might even save your
    neck!  Realistic scenarios, applied from multiple driver
    machines, impose totally realistic -- no virtual user! -- loads
    on your server.

  o Web Services Testing/Validation.  eValid tests of web services
    start begin by analyzing the WSDL file and creating a custom
    HTML testbed page for the candidate service.  Special data
    generation and analysis commands thoroughly test the web service
    and automatically identify a range of failures.

  o HealthCheck Subscription.  For websites up to 1000 pages, eValid
    HealthCheck services provide basic detailed analyses of smaller
    websites in a very economical, very efficient way.

  o eValidation Managed Service.  Being introduced this Fall, the
    eValidation Managed WebSite Quality Service offers comprehensive
    user-oriented detailed quality analysis for any size website,
    including those with 10,000 or more pages.

       Resellers, Consultants, Contractors, OEMers Take Note

We have an active program for product and service resellers.  We'd
like to hear from you if you are interested in joining the growing
eValid "quality website" delivery team.  We also provide OEM
solutions for internal and/or external monitoring, custom-faced
testing browsers, and a range of other possibilities.  Let us hear
from you!


                  5th International Conference on
              Electronic Commerce and Web Technologies
                          E C - W e b 2004

                   August 30 - September 3, 2004
                          Zaragoza, Spain

A large number of organizations are nowadays exploiting the
opportunities offered by Internet-based technologies for electronic
commerce.  Companies have put their product catalogues on the Web,
search engines and directories allow electronic market participants
around the globe to locate potential trading partners, and a set of
protocols and standards have been established to exchange goods and
services via the Internet.  Still, numerous technical issues need to
be resolved and the amount of innovation and change in this field is
prodigious. The main objective of this conference is to bring
together researchers from different disciplines, developers, and
users all interested in electronic commerce and Web technologies and
to assess current methodologies and new research directions.
Although a natural focus will be on computer science issues, we
welcome research contributions from economics, business
administration, law, and other disciplines.  EC-Web 2004 is
organized by the DEXA Association in parallel with DEXA 2004 (15th
International Conference on Database and Expert Systems

The major topics of interest include but are not limited to:

      * Auction and Negotiation Technology
      * Agent-Mediated Electronic Commerce
      * Business Process Integration and Interworkflow
      * Business Process Modeling
      * Customer Relationship Management
      * Decision Support and Optimization in EC
      * Digital Goods and Products
      * Electronic Data Interchange (EDI)
      * Enterprise Application Integration
      * Electronic Contracting
      * Formation of Supply Chains, Coalitions, and Virtual Enterprises
      * Grid Computing for EC
      * Intellectual Property Licensing
      * IPR, Legal and Privacy Issues
      * Knowledge Discovery in Web-based IS and EC
      * Languages and Ontologies for Describing Goods, Services, and Contracts
      * Mobile Commerce
      * P2P-Computing
      * Pricing and Metering of On-Demand Services
      * Quality of Service (Performance, Security, Reliabilty, etc.)
      * Recommender Systems
      * Rule Languages and Rule-based Systems
      * Security and Trust in EC
      * Semantic Web
      * Supply Chain Management and Supplier Relationship Management
      * Ubiquitous and Pervasive Technologies for EC
      * Usability Issues for EC
      * User Behaviour, Web Usage Mining
      * Web Data Quality Aspects
      * Web Data Visualization
      * Web Services Computing
      * Web Site Monitoring
      * XML-based Standards
      * Applications and Case Studies in EC

General Chair: Kurt Bauknecht, University of Zurich, Switzerland

Program Chairs: Martin Bichler, Technical University of Munich,
Germany (; Birgit Proell, FAW, Johannes Kepler
University Linz, Austria (

Conference Organization Office:  Gabriela Wagner, FAW, Johannes
Kepler University Linz, Austria (


                    IEEE MICRO July-August 2004

                          Special Issue:-
         Embedded Systems: Architecture, Design, and Tools

     Guest Editors: Alessio Bechini, University of Pisa, Italy
       Thomas M. Conte, N. Carolina State University, Raleigh
          Cosimo Antonio Prete, University of Pisa, Italy

The design of embedded systems is rapidly becoming more complex and
challenging. The main causes are the need to fulfill stringent and
sometimes conflicting requirements, and the widespread growth of
computing-intensive applications intended for embedded platforms.
New features are also becoming common for dedicated software; these
features include advanced GUIs with quick response time, Internet
access, wireless connectivity, integrated multimedia support, and
DBMS access.  To meet these needs, the capabilities of embedded
platforms (SOC multiprocessors, heterogeneous ASICs, and platform-
based systems) have improved in diverse ways, influencing the design

Designers must pursue requirements compliance at every level of the
embedded system, from the CPU-internal parts to the system
architecture and software modules. Despite recent achievements,
methodologies and tools for design space exploration could benefit
from further investigation. For example, recent trends in software
development induce designers to operate at the architectural level
and tackle performance problems following new approaches. Moreover,
both compilers and OSs play a crucial role in integrating hardware
and software modules into an efficient system, thus affecting the
way designers build architectures today.

This special issue will present state-of-the-art techniques and
methodologies to guide design space exploration, focusing on
practical approaches from industry as well as more forward-looking
solutions. We will especially focus on issues in architectural
design and frameworks that support designers in their difficult

Topics of interest:

     * tools and techniques (such as footprint control)
        for reducing resource need;
     * performance evaluation and tuning in design space exploration;
     * performance-centric design techniques;
     * design support for parallel embedded systems;
     * techniques for optimal use of SoC platforms;
     * architectures for high-performance embedded platforms;
     * architectures for specific application areas;
     * new benchmarking techniques and strategies;
     * state-of-the-art hardware-aware compilation techniques;
     * compilation issues for embedded code;
     * power-aware hardware-software design techniques;
     * real-time software and hardware support for embedded systems;
     * effective reuse strategies for hardware or software components;
     * software engineering for designing embedded systems;
     * the design of software architectures for embedded systems;
     * support for Java-enabled systems;
     * debugging, testing, and validation of embedded systems; and
     * case studies.

Submit manuscripts by accessing the IEEE Computer Society's Web-
based system, Manuscript Central. Select "Special Issue on Embedded
Processors." In addition, please send a 150-word abstract and the
title of your manuscript to Alessio Bechini


      International Symposium on Software Testing and Analysis
                            (ISSTA 2004)

              Boston, Massachusetts, July 11-14, 2004

  Co-Located with the 16th Computer-Aided Verification Conference
                             (CAV 2004)

ISSTA is the leading research conference in software testing and
analysis, bringing together academics, industrial researchers, and
practitioners to share ideas, problems, and experiences.  The ISSTA
program will include workshops, papers, panels, and invited

ISSTA 2004 is co-located with the 16th Computer-Aided Verification
Conference (CAV 2004,, at the
Omni Parker House Hotel in Boston, Mass.  The conferences will hold
joint sessions on July 14th, and CAV will continue until the 17th.
Reduced registration will be available for those attending all or
part of both conferences.

Authors are invited to submit technical papers describing original
research in testing or analysis of computer software.  Papers
describing theoretical or empirical research, new techniques, or
in-depth case studies of testing and analysis methods and tools are

Submissions are also encouraged in the following categories:

   - Tools papers describing software systems of
     interest to ISSTA attendees;

   - Proposals for posters or informal demos presenting
     recent or on-going research;

   - Proposals for panel sessions on current testing
     and analysis topics.

ISSTA 2004 is sponsored by the Association for Computing Machinery
(ACM) and the ACM Special Interest Group on Software Engineering
(SIGSOFT) in cooperation with the ACM Special Interest Group on
Programming Languages (SIGPLAN).

General Chair: George Avrunin, U. Massachusetts, USA,

Program Chair: Gregg Rothermel, Oregon State U., USA,


            International Journal of Web Services (IJWS)
          ISSN (PRINT): 1741-1106 ISSN (ONLINE): 1741-1114
  A Publication of Inderscience Publishers (

The International Journal of Web Services proposes and fosters
discussion on web service technology with a focus on its
application, emphasising issues of architecture, implementation, and
standardisation. This perspective acknowledges the complexity and
challenges developers are currently faced with when designing and
deploying web service based solutions. As one cornerstone of web
service technology, the journal will also include topics on
standardisation with special emphasis on in-depth analysis of
practical applications of existing standards as well as proposals
for general solutions to still-missing pieces.

OBJECTIVES:  The objectives of the journal are to establish an
effective channel of communication between decision makers, academic
and research institutions and persons concerned with the practical
deployment of web services in industry. It also aims to promote and
coordinate developments in the field of web services. By tackling
issues of current research, standardisation, and deployment, it
brings together people from both academia and industry.  By allowing
them to share new ideas and exchange best practice approaches, it
creates a vital resource for both to drive future work and leverage
web service usage. The international dimension is emphasised in
order to overcome cultural and national barriers and to meet the
needs of accelerating technological and ecological change and
changes in the global economy.

READERSHIP:  The journal provides a vehicle to help industry
professionals, academics, researchers and decision makers, working
in the field of web service technology, engineering and
standardisation, to disseminate information and to learn from each
others' work.

CONTENTS:  The journal publishes original papers, review papers,
technical reports, new specification proposals, case studies,
conference reports, management reports, book reviews, notes,
commentaries, and news. Special Issues devoted to important topics
in web service technology will occasionally be published.

SCOPE: Topics of interest include, but are not limited to, the

- Web service architectures
- Service oriented architectures
- Web service security
- Deployment of web service-based solutions in large organisations
- Case studies describing web service projects
- Deployment and appraisal of current standardisation
- Business processes based on web services
- Web services in B2B and B2Bi
- Practical applications of Grid computing
- Missing standards of all layers of the web service stack
- Performance issues
- Security mechanisms, especially their cross-platform interoperability
- Integration of web services into existing infrastructures
- Legacy systems wrapping and integration based on web services
- Cross-organisational collaborations based on web services

Papers and queries should be submitted to:

                Editor-in-Chief: Dr. Liang-Jie Zhang
          e-Business Solutions & Autonomic Computing Dept.
  IBM T.J. Watson Research Center, 1101 Kitchawan Road, Route 134,
                  Yorktown Heights, NY 10598, USA
                         Tel: 914-945-3976


                           SAFECOMP 2004
                The 23rd International Conference on
             Computer Safety, Reliability and Security

               21-24 September 2004, Potsdam, Germany


Since it was established in 1979, by The European Workshop on
Industrial Computer Systems, Technical Committee 7 on Reliability,
Safety and Security, EWICS TC7, SAFECOMP has contributed to the
progress of the state-of-the-art in dependable applications of
computer systems.

SAFECOMP is an annual event covering the state-of-the-art,
experience and new trends in the areas of computer safety,
reliability and security regarding dependable applications of
computer systems.

SAFECOMP provides ample opportunity to exchange insights and
experience on emerging methods and practical applications across the
borders of different disciplines.

Scope of the Conference

SAFECOMP focuses on safety-critical computer applications and is a
platform for knowledge and technology transfer between academia,
industry and research institutions.  Papers are invited on all
aspects of dependability and survivability of critical computer-
based systems of systems and infrastructures. Due to the increasing
awareness and importance of security issues, SAFECOMP 2004
emphasises work in relation to security of safety-critical systems.
Nowadays practical experience points out the need of
multidisciplinary approaches to deal with the nature of critical
complex settings. SAFECOMP, therefore, is open to multidisciplinary
work enhancing our understanding across disciplines.

SAFECOMP welcomes original work neither published nor submitted
elsewhere on both industrial and research experience.  Examples of
industrial and research topics include:

Safety Foundations:  Fault Tolerance; Distributed and Real-time
Systems; Diversity; Maintenance; Reliability; Formal Methods; Human
Factors; Risk Analysis; Open Source Software and Safety; Standards,
Guidelines and Certification; Commercial-Off-The-Shelf;
Verification, Validation and Testing; Analysis and Modelling;
Qualitative and Quantitative Approaches

Safety Applications:  Aerospace and Avionics; Automotive; Medical
Systems; Power Plants; Railways; Robotics; Chemical Industry;
Process Industry; Programmable Electronic Systems; Accident Reports
and Management

Security in Safety-Critical Systems:  Conflicts, Interfaces,
Integration Approaches between Safety, Reliability and Security;
Accidents caused by Security Breaches; Critical National Information
Infrastructures; Security-critical Safety Applications

                General Chair: Peter Liggesmeyer, DE
                     EWICS Chair: Udo Voges, DE
      Programme Co-Chairs: Maritta Heisel, Stefan Wittmann, DE
    Organizing Committee: Katrin Augustin, Hans-Peter Wagner, DE

    ------------>>> QTN ARTICLE SUBMITTAL POLICY <<<------------

QTN is E-mailed around the middle of each month to over 10,000
subscribers worldwide.  To have your event listed in an upcoming
issue E-mail a complete description and full details of your Call
for Papers or Call for Participation to .

QTN's submittal policy is:

o Submission deadlines indicated in "Calls for Papers" should
  provide at least a 1-month lead time from the QTN issue date.  For
  example, submission deadlines for "Calls for Papers" in the March
  issue of QTN On-Line should be for April and beyond.
o Length of submitted non-calendar items should not exceed 350 lines
  (about four pages).  Longer articles are OK but may be serialized.
o Length of submitted calendar items should not exceed 60 lines.
o Publication of submitted items is determined by Software Research,
  Inc., and may be edited for style and content as necessary.

DISCLAIMER:  Articles and items appearing in QTN represent the
opinions of their authors or submitters; QTN disclaims any
responsibility for their content.

TRADEMARKS:  eValid, HealthCheck, eValidation, TestWorks, STW,
STW/Regression, STW/Coverage, STW/Advisor, TCAT, and the SR, eValid,
and TestWorks logo are trademarks or registered trademarks of
Software Research, Inc. All other systems are either trademarks or
registered trademarks of their respective companies.

        -------->>> QTN SUBSCRIPTION INFORMATION <<<--------

To SUBSCRIBE to QTN, to UNSUBSCRIBE a current subscription, to
CHANGE an address (an UNSUBSCRIBE and a SUBSCRIBE combined) please
use the convenient Subscribe/Unsubscribe facility at:


As a backup you may send Email direct to  as follows:

   TO SUBSCRIBE: Include this phrase in the body of your message:

   TO UNSUBSCRIBE: Include this phrase in the body of your message:

Please, when using either method to subscribe or unsubscribe, type
the  exactly and completely.  Requests to unsubscribe
that do not match an email address on the subscriber list are

               Software Research, Inc.
               1663 Mission Street, Suite 400
               San Francisco, CA  94103  USA

               Phone:     +1 (415) 861-2800
               Toll Free: +1 (800) 942-SOFT (USA Only)
               FAX:       +1 (415) 861-9801
               Web:       <>