Application Software Prototyping and Fourth Generation Languages
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
A Low-Cost Printed Circuit Board Design Technique and Processes Using Ferric Chloride Solution
Nigerian Journal of Technology (NIJOTECH) Vol. 39, No. 4, October 2020, pp. 1223 – 1231 Copyright© Faculty of Engineering, University of Nigeria, Nsukka, Print ISSN: 0331-8443, Electronic ISSN: 2467-8821 www.nijotech.com http://dx.doi.org/10.4314/njt.v39i4.31 A LOW-COST PRINTED CIRCUIT BOARD DESIGN TECHNIQUE AND PROCESSES USING FERRIC CHLORIDE SOLUTION C. T. Obe1, S. E. Oti 2, C. U. Eya3,*, D. B. N. Nnadi4 and O. E. Nnadi 5 1, 2, 3, 4, DEPT. OF ELECTRICAL ENGINEERING, UNIVERSITY OF NIGERIA NSUKKA, ENUGU STATE, NIGERIA 5, ENUGU ELECTRICITY DISTRIBUTION CO. (EEDC), 62 OKPARA AVENUE ENUGU, ENUGU STATE, NIGERIA E-mail addresses: 1 [email protected] , 2 [email protected] , 3 [email protected], 4 [email protected] , 5 [email protected] ABSTRACT This paper presents a low-cost printed circuit board (PCB) design technique and processes using ferric chloride (푭풆푪풍ퟑ) solution on a metal plate for a design topology. The PCB design makes a laboratory prototype easier by reducing the work piece size, eliminating the ambiguous connecting wires and breadboards circuit errors. This is done by manual etching of the designed metal plate via immersion in ferric chloride solutions for a given time interval 0-15mins. With easy steps, it is described on how to make a conventional single-sided printed circuit board with low-cost, time savings and reduced energy from debugging. The simulation and results of the printed circuit is designed and verified in the Multisim software version 14.0 and LeCroy WJ35A oscilloscope respectively. -
The Software Engineering Prototype
Calhoun: The NPS Institutional Archive Theses and Dissertations Thesis Collection 1983 The software engineering prototype. Kirchner, Michael R. Monterey, California. Naval Postgraduate School http://hdl.handle.net/10945/19989 v':''r'r' 'iCj:.VV',V«',."'''j-i.'','I /" .iy NAVAL POSTGRADUATE SCHOOL Monterey, California THESIS THE SOFTWARE ENGINEERING PROTOTYPE by Michael R. Kirchner June 1983 Th€isis Advisor: Gordon C. Howe 11 Approved for public release; distribution unlimited T210117 t*A ^ Monterey, CA 93943 SECURITY CUASSIPICATION OP THIS PAGE (Wht\ Dmtm Enturmd) READ INSTRUCTIONS REPORT DOCUMENTATION PAGE BEFORE COMPLETING FORM I. REPOHT NUMBER 2. GOVT ACCESSION NO. 3. RECIPIENT'S CATALOG NUMBER 4. TITLE (and Subtltlt) 5. TYPE OF REPORT & PE-RIOD COVERED The Software Engineering Prototype Master's Thesis 6. PERFORMING ORG. REPORT NUMBER 7. AUTHORr«> a. CONTRACT OR GRANT NUMBERr*; Michael R. Kirchner • • PeRFORMINOOROANIZATION NAME AND ADDRESS 10. PROGRAM ELEMENT. PROJECT, TASK AREA & WORK Naval Postgraduate School UNIT NUMBERS Monterey, California 93940 II. CONTROLLING Or^lCE NAME AND ADDRESS 12. REPORT DATE Naval Postgraduate School June, 1983 Monterey, California 13. NUMBER OF PAGES 100 U. MONITORING AGENCY NAME ft AODRESSCi/ d<//*ran( Irom ConUoltlng Oltlem) 15. SECURITY CLASS, (of thia roport) UNCLASSIFIED 15«. DECLASSIFICATION/ DOWNGRADING SCHEDULE te. DISTRIBUTION STATEMENT (ol Ihit Report) Approved for public release; distribution unlimited 17. DISTRIBUTION STATEMENT (of lh» mtattmct anffd /n Block 30, It dlUartH /ram Rmport) le. SURRLEMENTARY NOTES 19. KEY WORDS fConlinu* on fvtf aid* It n»e»aaarr and Idantlty br block numbar) software engineering, software prototype, software design, design theories, software engineering environments, case studies, software development, information systems development, system development life cycle 20. -
Software Prototyping Rapid Software Development to Validate Requirements
FSE Foundations of software engineering Software Prototyping Rapid software development to validate requirements G51FSE Monday, 20 February 12 Objectives To describe the use of prototypes in different types of development project To discuss evolutionary and throw-away prototyping To introduce three rapid prototyping techniques - high-level language development, database programming and component reuse To explain the need for user interface prototyping FSE Lecture 10 - Prototyping 2 Monday, 20 February 12 System prototyping Prototyping is the rapid development of a system In the past, the developed system was normally thought of as inferior in some way to the required system so further development was required Now, the boundary between prototyping and normal system development is blurred Many systems are developed using an evolutionary approach FSE Lecture 10 - Prototyping 3 Monday, 20 February 12 Why bother? The principal use is to help customers and developers understand the requirements for the system Requirements elicitation: users can experiment with a prototype to see how the system supports their work Requirements validation: The prototype can reveal errors and omissions in the requirements Prototyping can be considered as a risk reduction activity which reduces requirements risks FSE Lecture 10 - Prototyping 4 Monday, 20 February 12 Prototyping bene!ts Misunderstandings between software users and developers are exposed Missing services may be detected and confusing services may be identi!ed A working system is available early in -
Legal Metrology
CanCan therethere bebe aa metrologymetrology forfor psychometricians?psychometricians? LucaLuca MariMari Università Cattaneo – LIUC, Italy BEAR Seminar, University of California, Berkeley Tuesday, January 31, 2017 AbstractAbstract Metrology -- the “science of measurement and its application” according to the International Vocabulary of Metrology (VIM) -- is a body of knowledge traditionally bound to the measurement of physical quantities, sometimes with the further specification that only high quality (in some sense to be agreed) measurement-related activities constitute actual metrology, as those performed in the US by the NIST. Given the social reputation of measurement, it is not amazing that there is a tension to continue the historical process of expanding such a still strict scope, where in particular under scrutiny is the necessity that the object of measurement is a physical quantity. Arguing about metrology is then a good opportunity to discuss of the very nature of measurement and its limits, between science, technology, mathematics, and society. MyMy profileprofile Luca Mari (MS in physics, University of Milano, Italy, 1987; Ph.D. in measurement science, Polytechnic of Torino, Italy, 1994) since 2006 has been a full professor of measurement science with Università Cattaneo - LIUC, Castellanza, Italy, where he teaches courses on measurement science, statistical data analysis, and system theory. He is currently the chairman of the TC1 (Terminology) and the secretary of the TC25 (Quantities and units) of the International Electrotechnical Commission (IEC), and an IEC expert in the WG2 (VIM) of the Joint Committee for Guides in Metrology (JCGM). He has been the chairman of the TC7 (Measurement Science) of the International Measurement Confederation (IMEKO). -
Test Driven Development
Test Driven Development René Barto SES Agile Development - Test Driven Development 27-09-2006 Contents • About Myself • About SES • Agile Development • A Typical Developer’s Day • Test Driven Development • Questions SES 27-09-2006 2 About Myself • Born 1966 • Graduated from TU Eindhoven (Information Technology) • Around 20 years of experience in software development • Joined Philips CFT in 1995 • Joined Philips Research in 2001 • Moved to SES in end 2002 SES 27-09-2006 3 About SES • Founded in 2000 with three permanent staff, to support Philips Research in software prototype development • In 2002, SES moved to the Prototyping and Instrumentation sector, to facilitate combined hardware / software prototyping • Since 2003, many start-up companies (incubators) have been served as well, moving the focus more to product development • Now (September 2006), SES consists of 11 permanent staff and some 70 temporary staff SES 27-09-2006 4 Agile Development – An Introduction Agile development is based on a lightweight process. The concepts are formulated by the Agile Alliance in “The manifesto for Agile Software Development” The Agile Alliance Values: • Value Individuals and interactions over process and tools, • Value Working software over comprehensive documents, • Value Customer collaboration over contract negotiation, • Value Responding to change over following a plan. http://www.agilealliance.org SES 27-09-2006 5 Agile Development - What Is It? • Lightweight (lean and mean) process for development, originated in the SW development community -
Process Models in Software Engineering
Process Models in Software Engineering Walt Scacchi, Institute for Software Research, University of California, Irvine February 2001 Revised Version, May 2001, October 2001 Final Version to appear in, J.J. Marciniak (ed.), Encyclopedia of Software Engineering, 2nd Edition, John Wiley and Sons, Inc, New York, December 2001. Introduction Software systems come and go through a series of passages that account for their inception, initial development, productive operation, upkeep, and retirement from one generation to another. This article categorizes and examines a number of methods for describing or modeling how software systems are developed. It begins with background and definitions of traditional software life cycle models that dominate most textbook discussions and current software development practices. This is followed by a more comprehensive review of the alternative models of software evolution that are of current use as the basis for organizing software engineering projects and technologies. Background Explicit models of software evolution date back to the earliest projects developing large software systems in the 1950's and 1960's (Hosier 1961, Royce 1970). Overall, the apparent purpose of these early software life cycle models was to provide a conceptual scheme for rationally managing the development of software systems. Such a scheme could therefore serve as a basis for planning, organizing, staffing, coordinating, budgeting, and directing software development activities. Since the 1960's, many descriptions of the classic software life cycle have appeared (e.g., Hosier 1961, Royce 1970, Boehm 1976, Distaso 1980, Scacchi 1984, Somerville 1999). Royce (1970) originated the formulation of the software life cycle using the now familiar "waterfall" chart, displayed in Figure 1. -
Recalibration of the U.S. National Prototype Kilogram
Journal of Research of the National Bureau of Standards Volume 90, Number 4, July-August 1985 Recalibration of the U .S. National Prototype Kilogram R. S. Davis National Bureau of Standards, Gaithersburg, MD 20899 Accepted: June 14, 1985 The U.S. national prototype kilogram, K20, and its check standard, K4, were recalibrated at the Bureau International des Poids et Mesures (BIPM). Both these kilograms are made of platinum-iridium alloy. Two additional kilograms, made of different alloys of stainless steel, were also included in the calibrations. The mass of K20 in 1889 was certified as being 1 kg-O.039 mg. Prior to the work reported below, K20 was most recently recalibrated at the BIPM in 1948 and certified as having a mass of I kg-O.OI9 mg. K4 had never been recalibrated. Its initial certification in 1889 stated its mass as I kg-O.075 mg. The work reported below establishes the new mass value of K20 as 1 kg-O.022 mg and that of K4 as I kg-O.106 mg. The new results are discussed in detail and an attempt is made to assess the long-term stability of the standards involved with a \iew toward assigning a realistic uncertainty to the measurements. Key words: International System of Units; kilogram unit; mass; national prototype kilograms; platinum iridium kilograms; stainless steel kilograms; standards of mass; Systeme International d'Unites. 1. Introduction gram artifacts ordered in 1878 from Johnson, Matthey and Company of London. Four years later, 40 more The International Prototype Kilogram (lPK), made replicas of the IPK were ordered; these eventually be of an alloy of 90% platinum and 10% iridium, is kept at coming the first national prototypes. -
A Classification and Comparison Framework for Software Architecture Description Languages
A Classification and Comparison Framework for Software Architecture Description Languages Neno Medvidovic Technical Report UCI-ICS-97-02 Department of Information and Computer Science University of California, Irvine Irvine, California 92697-3425 [email protected] February 1996 Abstract Software architectures shift the focus of developers from lines-of-code to coarser- grained architectural elements and their overall interconnection structure. Architecture description languages (ADLs) have been proposed as modeling notations to support architecture-based development. There is, however, little consensus in the research community on what is an ADL, what aspects of an architecture should be modeled in an ADL, and which of several possible ADLs is best suited for a particular problem. Furthermore, the distinction is rarely made between ADLs on one hand and formal specification, module interconnection, simulation, and programming languages on the other. This paper attempts to provide an answer to these questions. It motivates and presents a definition and a classification framework for ADLs. The utility of the definition is demonstrated by using it to differentiate ADLs from other modeling notations. The framework is also used to classify and compare several existing ADLs. One conclusion is that, although much research has been done in this area, no single ADL fulfills all of the identified needs. I. Introduction Software architecture research is directed at reducing costs of developing applications and increasing the potential for commonality between different members of a closely related product family [GS93, PW92]. Software development based on common architectural idioms has its focus shifted from lines-of-code to coarser-grained architectural elements (software components and connectors) and their overall interconnection structure. -
Prototyping Process
With contributions by: Steven Jacobs, Eck Doerry With credit and thanks for some slides and ideas to Larry Bernstein’s Quantitative Software Engineering Course at Stevens Institute of Technology, Hoboken, NJ Software Requirements Development Process 1. Requirements Elicitation (what the user wants) 2. Requirements Analysis (filling in the blanks) 3. Use Cases (Explore interaction dynamics) 4. Prototype/Modeling (prove that it can work) 5. Requirements Specification (formalize it) 6. Requirements Management (trace/verify) 2 Software Prototyping Process Key tool for targeting Software prototyping: implementation! the process of creating an incomplete model of the future full- featured software Or of key pieces/modules Process: Identify basic requirements Develop Initial prototype Review with customers users Revise and enhance http://crackmba.com/tag/sdlc/ 3 Prototypes as Specifications? Could we use a prototype as a specification? “Let me show you sort of what I want (prototype)…” “…and then we’ll use that as spec!” No! Because: Some parts of the requirements may be impossible to prototype E.g., safety-critical functions An implementation has no legal standing as a contract! It is no substitute for a clear specification of requirements. Non-functional requirements cannot be adequately tested in a system prototype 4 Types of Software Prototypes Throwaway prototype: Idea: creating a very rapid model (demonstration or marketing) Early tool for envisioning software look and feel. Could be paper: posters, screen sheets Evolutionary -
An Architectural Description Language for Secure Multi-Agent Systems
An Architectural Description Language for Secure Multi-Agent Systems Haralambos Mouratidis1,a, Manuel Kolpb, Paolo Giorginic, Stephane Faulknerd aInnovative Informatics Group, School of Computing, IT and Engineering, University of East London, England b Information Systems Research Unit, Catholic University of Louvain (UCL), Belgium c Department. of Information and Communication Technology, University of Trento, Italy d Information Management Research Unit, University of Namur, Belgium Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity for building open, distributed, and evolving information systems. Unfortunately, despite considerable work in the fields of software architecture and MAS during the last decade, few research efforts have aimed at defining languages for designing and formalising secure agent architectures. This paper proposes a novel Architectural Description Language (ADL) for describing Belief-Desire-Intention (BDI) secure MAS. We specify each element of our ADL using the Z specification language and we employ two example case studies: one to assist us in the description of the proposed language and help readers of the article to better understand the fundamentals of the language; and one to demonstrate its applicability. Keyword: Architectural Description Language, Multi-Agent Systems, Security, BDI Agent Model, Software Architecture 1 Corresponding Author: [email protected] 1 1. Introduction However, as the expectations of business stakeholders are changing day after day; and The characteristics and expectations of as the complexity of systems, information new application areas for the enterprise, and communication technologies and such as e-business, knowledge management, organisations is continually increasing in peer-to-peer computing, and web services, today’s dynamic environments; developers are deeply modifying information systems are expected to produce architectures that engineering. -
Should Your Specification Language Be Typed?
Should Your Specification Language Be Typed? LESLIE LAMPORT Compaq and LAWRENCE C. PAULSON University of Cambridge Most specification languages have a type system. Type systems are hard to get right, and getting them wrong can lead to inconsistencies. Set theory can serve as the basis for a specification lan- guage without types. This possibility, which has been widely overlooked, offers many advantages. Untyped set theory is simple and is more flexible than any simple typed formalism. Polymorphism, overloading, and subtyping can make a type system more powerful, but at the cost of increased complexity, and such refinements can never attain the flexibility of having no types at all. Typed formalisms have advantages too, stemming from the power of mechanical type checking. While types serve little purpose in hand proofs, they do help with mechanized proofs. In the absence of verification, type checking can catch errors in specifications. It may be possible to have the best of both worlds by adding typing annotations to an untyped specification language. We consider only specification languages, not programming languages. Categories and Subject Descriptors: D.2.1 [Software Engineering]: Requirements/Specifica- tions; D.2.4 [Software Engineering]: Software/Program Verification—formal methods; F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Pro- grams—specification techniques General Terms: Verification Additional Key Words and Phrases: Set theory, specification, types Editors’ introduction. We have invited the following -
Weights and Measures Standards of the United States—A Brief History (1963), by Lewis V
WEIGHTS and MEASURES STANDARDS OF THE UMIT a brief history U.S. DEPARTMENT OF COMMERCE NATIONAL BUREAU OF STANDARDS NBS Special Publication 447 WEIGHTS and MEASURES STANDARDS OF THE TP ii 2ri\ ii iEa <2 ^r/V C II llinCAM NBS Special Publication 447 Originally Issued October 1963 Updated March 1976 For sale by the Superintendent of Documents, U.S. Government Printing Office Wash., D.C. 20402. Price $1; (Add 25 percent additional for other than U.S. mailing). Stock No. 003-003-01654-3 Library of Congress Catalog Card Number: 76-600055 Foreword "Weights and Measures," said John Quincy Adams in 1821, "may be ranked among the necessaries of life to every individual of human society." That sentiment, so appropriate to the agrarian past, is even more appropriate to the technology and commerce of today. The order that we enjoy, the confidence we place in weighing and measuring, is in large part due to the measure- ment standards that have been established. This publication, a reprinting and updating of an earlier publication, provides detailed information on the origin of our standards for mass and length. Ernest Ambler Acting Director iii Preface to 1976 Edition Two publications of the National Bureau of Standards, now out of print, that deal with weights and measures have had widespread use and are still in demand. The publications are NBS Circular 593, The Federal Basis for Weights and Measures (1958), by Ralph W. Smith, and NBS Miscellaneous Publication 247, Weights and Measures Standards of the United States—a Brief History (1963), by Lewis V.