Community Engagement
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
President's News Digest
PRESIDENT’S NEWS DIGEST 06 OCTOBER 2019 – VOLUME 4 - ISSUE 49 MESSAGE FROM THE PRESIDENT o Message from the President Welcome to the 49th issue of the 4th volume of the President's News o The College of Arts and Science Digest. In this issue of the News conducted Students Orientation Day Digest, I will address the subject of for the first Semester from the “The History of the Educational Academic Year 2019/2020 System in Bahrain”. o Future Cooperation between ASU and the Capital Governorate Bahrain is celebrating this year the centenary of formal o Interview with Alumnus education in the Kingdom highlighting the outstanding achievements of the educational sector. 100 years of formal o Quote of the Week education bring pride to an island that it is small in size but big in ideas and accomplishments. The World Economic Forum Competitiveness Reports published over the last few years demonstrate the big improvements in the Education and Higher Education and Innovation areas in Bahrain. The Kingdom of Bahrain has the oldest public education system in the Arabian Peninsula which dates back to 1930 when the government became responsible for operating two pre-existing primary public schools for boys. Girls schools were subsequently established and universities started to appear in the second half of the 20th century. Literacy rates in Bahrain at around 96% as reported in 2015 is amongst the best in the World and the investment in education as percentage of GDP is at an average of around 2.5%. Schools teaching the Quran were the only source of education in Bahrain prior to the 20th century. -
Achieving Growth in a Challenging Environment
Achieving growth in a challenging environment ANNUAL REPORT 2016 Profile Established in 1957 as Bahrain’s first locally owned Bank, NBB has grown steadily to become the country’s leading provider of retail and commercial banking services. With a major share of the total domestic commercial banking market and the largest network of 25 branches and 61 ATMs, the Bank plays a key role in the local economy. At the same time, the Bank continues to diversify and develop capabilities to capture business opportunities in the Gulf region and international markets. Our branches in Abu Dhabi and Riyadh lead the way in this initiative. Publicly listed on the Bahrain Bourse, the Bank is owned 44.94% by private and institutional shareholders, mainly Bahrainis, 44.18% by Bahrain Mumtalakat Holding Company, which is 100% owned by the Government of the Kingdom of Bahrain and 10.88% by Social Insurance organisation. Market driven and customer led, the Bank harnesses the latest technology to people skills, enabling its 585 employees to deliver highly professional services for retail and corporate customers. His Royal Highness His Royal Majesty His Royal Highness Prince Khalifa bin Salman King Hamad bin Isa Prince Salman bin Hamad Al Khalifa Al Khalifa Al Khalifa Prime Minister King of The Kingdom of Bahrain Crown Prince, Deputy Supreme Commander and First Deputy Prime Minister Contents Financial Summary 04 Board of Directors 08 Board of Directors’ Report 10 Statement of the Chief Executive Officer 12 Corporate Governance 14 Executive Management 24 Review -
A Specification-Oriented Semantics for the Refinement of Real-Time Systems
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Theoretical Computer Science 131 (1994) 219-241 219 Elsevier A specification-oriented semantics for the refinement of real-time systems David Scholefield and Hussein Zedan Formal Systems Research Group, Department of ComputerScience, University of York, Heslington, York, UK He Jifeng Programming Research Group. Oxford University, Keble Road, Oxford, UK Communicated by I. Mitrani Received November 1992 Revised February 1993 Abslract Scholefield, D., H. Zedan and H. Jifeng, A specification-oriented semantics for the refinement of real-time systems, Theoretical Computer Science 131 (1994) 2199241. A refinement calculus for the development of real-time systems is presented. The calculus is based upon a wide-spectrum language called the temporal agent model (TAM), within which both functional and timing properties can be expressed in either abstract or concrete terms. A specifica- tion-oriented semantics for the language is given. Program development is considered as a refine- ment process, i.e. the calculation of a structured program from an unstructured specification. A calculus of decomposition is defined. An example program is developed. 1. Introduction The formal development of a computer system is traditionally separated into four tasks: the formulation of a specification, the formulation of a design, verification between specification and design, and the translation of the design into an implemen- tation. In real-time systems, verification must take into account both functional correctness and the timeliness of results - a consideration which adds further com- plexity to an already difficult task. Correspondence to: D. -
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics Maciej Gazda Robert M. Hierons Department of Computer Science Department of Computer Science University of Sheffield, UK University of Sheffield, UK Abstract—We explore the problem of finding a minimal com- in which no action in X is enabled. Most work uses ioco [21] plete test suite for a refusal trace (or failure trace) semantics. or one of its variants; see [22] for an overview. In ioco, an Since complete test suites are typically infinite, we consider the observation is a trace that can contain instances of quiescence: setting with a bound ` on the length of refusal traces of interest. A test suite T is thus complete if it is failed by all processes that the situation in which the system under test (SUT) cannot contain a disallowed refusal trace of length at most `. produce output or change state without first receiving input. The proposed approach is based on generating a minimal com- The ioco test theory assumes that the SUT cannot refuse inputs plete set of forbidden refusal traces. Our solution utilises several (is input-enabled) and the environment cannot block outputs, interesting insights into refusal trace semantics. In particular, which is why quiescence is the only type of refusal. we identify a key class of refusals called fundamental refusals which essentially determine the refusal trace semantics, and the A refusal of a set X is observed through the tester offering associated fundamental equivalence relation. We then propose a the actions in X and subsequent deadlock (detected through small but not necessarily minimal test suite based on our theory, a timeout). -
A Comprehensive Survey of Trends in Oracles for Software Testing
1 A Comprehensive Survey of Trends in Oracles for Software Testing Mark Harman, Phil McMinn, Muzammil Shahbaz and Shin Yoo Abstract—Testing involves examining the behaviour of a system in order to discover potential faults. Determining the desired correct behaviour for a given input is called the “oracle problem”. Oracle automation is important to remove a current bottleneck which inhibits greater overall test automation; without oracle automation, the human has to determine whether observed behaviour is correct. The literature on oracles has introduced techniques for oracle automation, including modelling, specifications, contract-driven development and metamorphic testing. When none of these is completely adequate, the final source of oracle information remains the human, who may be aware of informal specifications, expectations, norms and domain specific information that provide informal oracle guidance. All forms of oracle, even the humble human, involve challenges of reducing cost and increasing benefit. This paper provides a comprehensive survey of current approaches to the oracle problem and an analysis of trends in this important area of software testing research and practice. Index Terms—Test oracle; Automatic testing; Testing formalism. F 1 INTRODUCTION undecidable problem. For example, attempting to cover all branches [6], [10], [16], [64], [77], Much work on testing seeks to automate as [159], [177] in a system under test can never be much of the test process as practical and de- complete because branch reachability is known sirable, in order to make testing faster, cheaper to be undecidable in general [192]. and more reliable. In order to automate testing, The problem of generating test inputs to we need an oracle, a procedure that determines achieve coverage of test adequacy criterion what the correct behaviour of a system should has been the subject of research interest for be for all input stimuli with which we wish nearly four decades [48], [106] and has been to subject the system under test. -
Interval Temporal Logic
Interval Temporal Logic Antonio Cau and Ben Moszkowski 2021-04-09 HTML version of the ITL home page Abstract Interval Temporal Logic (ITL) is a flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems. Unlike most temporal logics, ITL can handle both sequential and parallel composition and offers powerful and extensible specification and proof techniques for reasoning about properties involving safety, liveness and pro- jected time [134]. Timing constraints are expressible and furthermore most imperative programming constructs can be viewed as formulas in a slightly modified version of ITL [125]. Tempura provides an executable framework for developing and experimenting with suitable ITL specifications. In addi- tion, ITL and its mature executable subset Tempura [157] have been extensively used to specify the properties of real-time systems where the primitive circuits can directly be represented by a set of simple temporal formulae. In addition, Tempura has been applied to hardware simulation and other areas where timing is important. 1 Contents 1 Finite Interval Temporal Logic3 1.1 Syntax............................................3 1.2 Semantics..........................................3 1.3 Derived Constructs......................................5 1.4 Propositional proof system..................................7 1.5 First order proof system...................................7 2 Finite and Infinite Interval Temporal Logic8 2.1 Syntax............................................8 -
Issue 2005 2 June 2005
, . Issue 2005-2 FACS June 2005 A FM E C A A C ~v1 L F (~ T ~J1 ETHODS C 1 BCS R S(:S(: M S Z A UM L I FM SI G E E E E E BCS The Newsletter of the Formal Aspects of 6 FACS Computing Science (FACS) Specialist Group ISSN 0950-1231 , " -40 , . FACS FACTS Iss ue 2005-2 June 2005 :~::;'::i(t::·::!:\,,: h\boJi EACS.FACTS .. '::':--'}U},;"";",::,:::: '}::::-::/:W::::::'" :,:':':t\i{\, '::;:=/';tt::-:· . , . EAG,sFACi,s[ I S$N:Q950~12311 U S ! h ~ Q~W~letter . of ·ihe BQ$ Specialist · (Sfoup 8h .·· FpribaIAsp~ Cts ·otCornputihg ·S§ience(FACS}; 'FACSFAGTS.• is· dfstributed in electronic form !ball FACS members. · .... A~from ';605 : FACS ?A hs ~ lii ' b~ ~clbl: g~~a foJ~\iinesayea 6 Mar c ti : • June; September and December. Submissions are always welcome .. p l g<!s~seetQe <3d¥~rt.. .or1 page2~fo r fU~herde! <! i ls of·yisil thenew§lg!ter .•.• areaOfthe FACS websile [ http: //www .bcs ~facs . org/newsletterr .. .. ............ .- ... -..... -,'- . Back issU~s . of FAGSFA GTS~re avai l ~ bl e t6 .downlda d frorTE The FACS FACTS Tea m . ..,., . Newsletted ::ditor . Paul B6ca [editor@fac;sfacts ci nfol Editori.al Team J61lathanBowerl,J udith Ca rlton, John Cooke; . Kevin Lano., Mike Siannett Colu rn nist~.i •. ' Din es Bj0rn er (The •~ ai l waY.oClm a i r1) ...•. Judith Carlton(Puzzles) " ....... ... Contribqtors .to t h.isJsSU€) ; Dines Bj0mer, Eerke Boiten, Jonathan . Bowen , Judith Ca ri ton, Roger Carsley, J o hn . D E! r ri 9~• . George E lef~er<;lki§ ; J ose ; Fiade i ro , Joh n F i tzg~ta l d, Carroll Morgan, Fiona Polack, F.X. -
Interval Temporal Logic
Interval Temporal Logic Antonio Cau, Ben Moszkowski and Hussein Zedan Software Technology Research Laboratory December 6, 2007 HTML version of the ITL home page ITL-course: A not so short introduction to ITL Abstract Interval Temporal Logic (ITL) is a flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems. Unlike most temporal logics, ITL can handle both sequential and parallel composition and offers powerful and extensible specification and proof techniques for reasoning about properties involving safety, liveness and projected time[15]. Timing constraints are expressible and furthermore most imperative pro- gramming constructs can be viewed as formulas in a slightly modified version of ITL [25]. Tempura provides an executable framework for developing and experimenting with suitable ITL specifications. In addition, ITL and its mature executable subset Tempura [9] have been extensively used to specify the properties of real-time systems where the primitive circuits can directly be represented by a set of simple tempo- ral formulae. In addition, various researchers have applied Tempura to hardware simulation and other areas where timing is important. 1 Syntax The key notion of ITL is an interval. An interval σ is considered to be a (in)finite sequence of states σ0; σ1 :::, where a state σi is a mapping from the set of variables Var to the set of values V al. The length jσj of an interval σ0 : : : σn is equal to n (one less than the number of states in the interval (this has always been a convention in ITL), i.e., a one state interval has length 0). -
Isa Town Via Hamad Town
Bahrain University - Isa Town via Hamad Town - Souq Waqif - Education Area 70 Saturday University of Bahrain 500 630 800 930 1100 1230 1400 1530 1700 1830 2000 2130 Main Gate Hamad Town, 514 644 814 944 1114 1244 1414 1544 1714 1844 2014 2144 Roundabout 15 Rowdha-9/Roundabout 521 651 821 951 1121 1251 1421 1551 1721 1851 2021 2151 11 Al Rawdha Fuel 525 655 825 955 1125 1255 1425 1555 1725 1855 2025 2155 Station Wali Al Ahed HWY- 540 710 840 1010 1140 1310 1440 1610 1740 1910 2040 2210 1/Souq Waqif Isa Town Bus 606 736 906 1036 1206 1336 1506 1636 1806 1936 2106 2236 Terminal Isa Town - Bahrain University via Education Area - Souq Waqif - Hamad Town 70 Saturday Isa Town Bus 500 630 800 930 1100 1230 1400 1530 1700 1830 2000 2130 Terminal Wali Al Ahed HWY- 526 656 826 956 1126 1256 1426 1556 1726 1856 2026 2156 1/Souq Waqif Al Rawdha Fuel 540 710 840 1010 1140 1310 1440 1610 1740 1910 2040 2210 Station Hamad Town, 545 715 845 1015 1145 1315 1445 1615 1745 1915 2045 2215 Roundabout 10 Hamad Town, 552 722 852 1022 1152 1322 1452 1622 1752 1922 2052 2222 Roundabout 15 University of Bahrain 606 736 906 1036 1206 1336 1506 1636 1806 1936 2106 2236 Main Gate Bahrain University - Isa Town via Hamad Town - Souq Waqif - Education Area 70 from 5th August 2018 to Thursday 31st December 2018 University Terminus - 625 755 925 1055 1225 1355 1525 1655 1825 - - Bahrain University 500 626 756 926 1056 1226 1356 1526 1656 1826 1955 2125 Main Gate/2 Hamad Town, 513 639 809 939 1109 1239 1409 1539 1709 1839 2008 2138 Roundabout 15 Rowdha-9/Roundabout 520 -
Maamar Taleb
MAAMAR TALEB Department of Electrical and Electronics Engineering University of Bahrain P.O.Box 32038, ISA Town Kingdom of Bahrain E-mail: [email protected] Mobile: (973) 39 15 15 20 Office Phone (973) 17 87 61 48 Home Phone (973) 17 62 01 92 Fax Number (973) 17 68 09 24 Background Summary • Experience in teaching different courses in electrical engineering • Experience in writing technical research proposals • Extensive background in numerical analysis techniques • Familiarity with MATLAB, LABVIEW, EMTP and SPICE computer programs. Education • 1986 – 1990: Ph.D. In Electrical & Computer Engineering Clarkson University, Potsdam, New York ``An Assessment of Power System Harmonics Generation'' • 1984 – 1986: Master of Sciences in Electric Power Engineering Rensselaer Polytechnic Institute, Troy, New York ``Corona Losses in Transmission Lines '' • 1983 – 1984: Intensive English Course, University of Texas at Austin, Austin, Texas • 1978 – 1983: State Engineer in Electrotechnics (Honors) University of Sciences and Technology of Wahran, Wahran, Algeria Personal Information Nationality : Bahraini Marital Status : Married, having four childreen Technical Activities : Chairman of IEEE/PES Bahrain Chapter, Senior Member of International Association of Computer Science and Information Technology (IACSIT). Spoken and Written Languages : English, Arabic, and French Major Work Experience • 09/1992 - Present: : Faculty Member in the Department of Electrical and Electronics Engineering, University of Bahrain, Isa Town, Bahrain. (Associate Professor from April 2002 to present and Assistant Professor from september 1992 to April 2002 ): - Involved in teaching several courses in electrical engineering: power electronics, electric machines, electrical drives; power system dynamics, power system protection, power systems, power system analysis, AC & DC electric circuits, utilization of electric energy, and electrical installation. -
HM King Visits BDF, Praises Servicemen's Competence
FAST, SAFE AND SECURE ONLINE MONEY TRANSFER NOW AVAILABLE ON THE BFC APP Monday, April 30, 2018 Issue No. 7732 200 Fils Tel: 1722 8888 www.newsofbahrain.com www.facebook.com/nobonline newsofbahrain 38444680 nob_bh www.bfc.com.bh JO3897_Smart_Money_App_Launch_DT_Hamper_6.7cmX8.5cm.indd 1 4/9/18 10:38 AM May 1 declared public holiday Manama ll government ministries, state bodies andA establishments will be closed on May 1, on account of International Workers’ Day. His Royal Highness Prime Minister Prince Khalifa bin Salman Al Khalifa has issued a circular to this effect. 8P 04 HM King visits BDF, praises servicemen’s competence US approves While Washington, Michigan, was a big success, Washington, D.C., $911m just didn’t work. Everyone is talking about the fact that the White House Correspondents Dinner was a very arms sale to big, boring bust...the so-called come- Pompeo calls dian really “bombed.” @greggutfeld Bahrain should host next year! @PeteHegseth Riyadh @realDonaldTrump he US State Department has approved a potential $911.4 Today’s Weather millionT helicopter and weapons sale to Max Min Bahrain, according to the US Defense for Gulf unity Security Cooperation Agency. 33°C 24°C Riyadh According to a statement posted ew U.S. Secretary of State Mike on the website of the Defense Security Pompeo underscored the need Cooperation Agency (DSCA) of the forN unity in the Gulf during a brief Department of Defense, the sale visit to the Saudi capital yesterday as includes 12 AH-1Z attack helicopters, Washington aims to muster support as well as 26 engines, dozens of missiles among allies for new sanctions against and rockets of various kinds and a Iran. -
Blaze Guts Bakery 14
VOL XXXIX No. 48 (GGDN 024) SATURDAY, 7th MAY 2016 200 Fils/2 Riyals ABC Ad new logo QRcode 6cm x 4col rev.pdf 1 4/18/16 11:37 AM www.gdnonline.com https://www.facebook.com/GulfDailyNews/ gdnonline @GDNonline 66710017 Blaze guts bakery 14 T: +973 1729 3131 F: +973 1729 3400 M: +973 3438 2289 / +973 3959 1419 / +973 3415 0308 E: [email protected] n King for greater Egypt tourism ties MANAMA: His Majesty King Hamad has directed Bahrain’s tourism officials to strengthen links with Egypt. The two countries MUMTALAKAT plan to open travel and tourism offices and moves are underway to intensify interaction between their travel agencies, Bahrain Authority for Tourism and Exhibitions chief executive Shaikh Khalid bin Humood Al Khalifa said. He also revealed plans to set up an Ice City at the Bahrain International Exhibition and Convention Centre, Sanabis, as part of the authority’s plans for Eid Al Fitr festivities this summer. n MANAMA: Bahrain’s sovereign recommendations to come out of the parliamentary tiple boards. Role of Press praised PROBEprobe into Mumtalakat. SHOCKThey also include merging all companies operat- MANAMA: His Royal Highness Prince wealth fund paid its board members Parliament is also set to vote on whether public ing in the same field, such as aviation. Salman bin Hamad Al Khalifa, Crown BD15,000 annual bonuses despite Prince, Deputy Supreme Commander and companies operating under the wealth fund should In a written response to parliament, Gulf Air re- First Deputy Premier, yesterday praised the being in the red, according to a par- receive financial support from the government.