|
Innovations In Systems And Software Engineering
''Innovations in Systems and Software Engineering: A NASA Journal'' is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media on behalf of NASA. The editors-in-chief are Michael Hinchey (University of Limerick) and Shawn Bohner Shawn A. Bohner is an American computer scientist working as a professor of computer science and engineering at the Rose–Hulman Institute of Technology. He is also the co-editor-in-chief of '' Innovations in Systems and Software Engineering''. ... ( Rose-Hulman Institute of Technology). Abstracting and indexing The journal is abstracted and indexed in: References External links * Academic journals established in 2005 Computer science journals Systems engineering Software engineering publications Springer Science+Business Media academic journals Formal methods publications Quarterly journals NASA mass media Hybrid open a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael G
Michael may refer to: People * Michael (given name), a given name * Michael (surname), including a list of people with the surname Michael Given name "Michael" * Michael (archangel), ''first'' of God's archangels in the Jewish, Christian and Islamic religions * Michael (bishop elect), English 13th-century Bishop of Hereford elect * Michael (Khoroshy) (1885–1977), cleric of the Ukrainian Orthodox Church of Canada * Michael Donnellan (1915–1985), Irish-born London fashion designer, often referred to simply as "Michael" * Michael (footballer, born 1982), Brazilian footballer * Michael (footballer, born 1983), Brazilian footballer * Michael (footballer, born 1993), Brazilian footballer * Michael (footballer, born February 1996), Brazilian footballer * Michael (footballer, born March 1996), Brazilian footballer * Michael (footballer, born 1999), Brazilian footballer Rulers =Byzantine emperors= * Michael I Rangabe (d. 844), married the daughter of Emperor Nikephoro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since November 2018, DBLP is a branch of Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI). DBLP listed more than 5.4 million journal articles, conference papers, and other publications on computer science in December 2020, up from about 14,000 in 1995 and 3.66 million in July 2016. All important journals on computer science are tracked. Proceedings papers of many conferences are also tracked. It is mirrored at three sites across the Internet. For his work on maintaining DBLP, Michael Ley received an award from the Association for Computing Machinery (ACM) and the VLDB Endowment Special Recognition Award in 1997. Furthermore, he was awarded the ACM Distinguished Service Award for "creating, developing, and curating DBLP" in 2019. ''DB ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Methods Publications
Formal, formality, informal or informality imply the complying with, or not complying with, some set of requirements (forms, in Ancient Greek). They may refer to: Dress code and events * Formal wear, attire for formal events * Semi-formal attire, attire for semi-formal events * Informal attire, more controlled attire than casual but less than formal * Formal (university), official university dinner, ball or other event * School formal, official school dinner, ball or other event Logic and mathematics *Formal logic, or mathematical logic ** Informal logic, the complement, whose definition and scope is contentious *Formal fallacy, reasoning of invalid structure ** Informal fallacy, the complement *Informal mathematics, also called naïve mathematics *Formal cause, Aristotle's intrinsic, determining cause *Formal power series, a generalization of power series without requiring convergence, used in combinatorics *Formal calculation, a calculation which is systematic, but without ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Science+Business Media Academic Journals
Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinational academic publishing group created by the merger of Springer Science+Business Media, Nature Publishing Group, Palgrave Macmillan, and Macmillan Education * Axel Springer SE, an important conservative German publishing house, including several newspapers * Springer Publishing Company, an American publishing company of academic journals and books, focusing on public health and the like Places ;United States * Springer, New Mexico * Springer, Oklahoma * Springer Mountain Springer Mountain is a mountain located in the Chattahoochee National Forest on the border of Fannin and Gilmer counties. Located in the Blue Ridge Mountains in northern Georgia, the mountain has an elevation of about . Springer Mountain serves ..., southern terminus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Software Engineering Publications
Software consists of computer programs that instruct the execution of a computer. Software also includes design documents and specifications. The history of software is closely tied to the development of digital computers in the mid-20th century. Early programs were written in the machine language specific to the hardware. The introduction of high-level programming languages in 1958 allowed for more human-readable instructions, making software development easier and more portable across different computer architectures. Software in a programming language is run through a compiler or interpreter to execute on the architecture's hardware. Over time, software has become complex, owing to developments in networking, operating systems, and databases. Software can generally be categorized into two main types: # operating systems, which manage hardware resources and provide services for applications # application software, which performs specific tasks for users The rise of cloud ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science Journals
A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations ( computation) automatically. Modern digital electronic computers can perform generic sets of operations known as programs. These programs enable computers to perform a wide range of tasks. A computer system is a nominally complete computer that includes the hardware, operating system (main software), and peripheral equipment needed and used for full operation. This term may also refer to a group of computers that are linked and function together, such as a computer network or computer cluster. A broad range of industrial and consumer products use computers as control systems. Simple special-purpose devices like microwave ovens and remote controls are included, as are factory devices like industrial robots and computer-aided design, as well as general-purpose devices like personal computers and mobile devices like smartphones. Computers power the Internet, which links ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Journals Established In 2005
An academy ( Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary or tertiary higher learning (and generally also research or honorary membership). The name traces back to Plato's school of philosophy, founded approximately 385 BC at Akademia, a sanctuary of Athena, the goddess of wisdom and skill, north of Athens, Greece. Etymology The word comes from the ''Academy'' in ancient Greece, which derives from the Athenian hero, ''Akademos''. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning. The sacred space, dedicated to the goddess of wisdom, Athena, had formerly been an olive grove, hence the expression "the groves of Academe". In these gardens, the philosopher Plato conversed with followers. Plato developed his sessions into a method of teaching philosophy and in 387 BC, established what is known today as the Old Academy. By extension, ''academia'' has come to mean the accumulation, de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
VINITI Database RAS
VINITI Database RAS is a database provided by the All-Russian Institute for Scientific and Technical Information (VINITI). The database is devoted to scientific publications. It is described as a large abstracting database. In general, it is indexed for the natural sciences, exact sciences, and technical sciences. Included in this database is AJ (Abstract Journal), indexed from 1981 to the present day. The database is made up of published materials encompassing, conference proceedings, trade publications, thesis, periodicals, books, patents, regulatory documents, and collected scientific literature. Russian sources make up 30% of the deposited scientific works. The database produces documents that have a bibliographal description, keywords, a heading and an abstract. Primary source abstracts are mostly in Russian. Another organizational structure of the ''VINITI database'' is its divisions into 29 thematic fragments. Also, there are over 230 editions of this database. A si ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scopus
Scopus is Elsevier's abstract and citation database launched in 2004. Scopus covers nearly 36,377 titles (22,794 active titles and 13,583 inactive titles) from approximately 11,678 publishers, of which 34,346 are peer-reviewed journals in top-level subject fields: life sciences, social sciences, physical sciences and health sciences. It covers three types of sources: book series, journals, and trade journals. All journals covered in the Scopus database are reviewed for sufficiently high quality each year according to four types of numerical quality measure for each title; those are ''h''-Index, CiteScore, SJR ( SCImago Journal Rank) and SNIP (Source Normalized Impact per Paper). Searches in Scopus also incorporate searches of patent databases. Overview Comparing ease of use and coverage of Scopus and the Web of Science (WOS), a 2006 study concluded that "Scopus is easy to navigate, even for the novice user. ... The ability to search both forward and backward from a particu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ProQuest
ProQuest LLC is an Ann Arbor, Michigan-based global information-content and technology company, founded in 1938 as University Microfilms by Eugene B. Power. ProQuest is known for its applications and information services for libraries, providing access to dissertations, theses, ebooks, newspapers, periodicals, historical collections, governmental archives, cultural archives,"Jisc and ProQuest Enable Access to Essential Digital Content" retrieved May 21, 2014 and other aggregated databases. This content was estimated to be around 125 billion digital pages, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Institution Of Engineering And Technology (professional Society)
The Institution of Engineering and Technology (IET) is a multidisciplinary professional engineering institution. The IET was formed in 2006 from two separate institutions: the Institution of Electrical Engineers (IEE), dating back to 1871, and the Institution of Incorporated Engineers (IIE) dating back to 1884. Its worldwide membership is currently in excess of 158,000 in 153 countries. The IET's main offices are in Savoy Place in London, England, and at Michael Faraday House in Stevenage, England. In the United Kingdom, the IET has the authority to establish professional registration for the titles of Chartered Engineer, Incorporated Engineer, Engineering Technician, and ICT Technician, as a licensed member institution of the Engineering Council. The IET is registered as a charity in England and Wales, and in Scotland. Formation Discussions started in 2004 between the IEE and the IIE about merging to form a new institution. In September 2005, both institutions held v ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
