咨询与建议

限定检索结果

文献类型

  • 197 篇 会议
  • 64 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 266 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 178 篇 工学
    • 149 篇 计算机科学与技术...
    • 119 篇 软件工程
    • 20 篇 信息与通信工程
    • 18 篇 控制科学与工程
    • 13 篇 安全科学与工程
    • 12 篇 电气工程
    • 9 篇 仪器科学与技术
    • 9 篇 生物医学工程(可授...
    • 8 篇 电子科学与技术(可...
    • 8 篇 土木工程
    • 7 篇 船舶与海洋工程
    • 7 篇 网络空间安全
    • 6 篇 机械工程
    • 5 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 交通运输工程
    • 4 篇 生物工程
  • 61 篇 理学
    • 39 篇 数学
    • 10 篇 统计学(可授理学、...
    • 9 篇 系统科学
    • 7 篇 海洋科学
    • 4 篇 化学
    • 4 篇 生物学
  • 42 篇 管理学
    • 26 篇 管理科学与工程(可...
    • 18 篇 图书情报与档案管...
    • 7 篇 工商管理
  • 6 篇 法学
    • 5 篇 社会学
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
  • 5 篇 教育学
    • 5 篇 教育学
  • 1 篇 经济学

主题

  • 26 篇 software enginee...
  • 14 篇 testing
  • 10 篇 application soft...
  • 10 篇 java
  • 10 篇 semantics
  • 10 篇 unified modeling...
  • 9 篇 runtime
  • 9 篇 software
  • 8 篇 model checking
  • 7 篇 monitoring
  • 6 篇 tools
  • 6 篇 programming
  • 6 篇 artificial intel...
  • 5 篇 object oriented ...
  • 5 篇 specifications
  • 5 篇 software testing
  • 5 篇 software design
  • 5 篇 web services
  • 4 篇 computer science
  • 4 篇 software systems

机构

  • 15 篇 institute for so...
  • 14 篇 institute of sof...
  • 13 篇 institute for so...
  • 7 篇 institute of sof...
  • 5 篇 institute for so...
  • 5 篇 department of pr...
  • 5 篇 ulm university i...
  • 3 篇 department of so...
  • 3 篇 department of so...
  • 3 篇 institute of dis...
  • 3 篇 graduate school ...
  • 3 篇 ulm university i...
  • 3 篇 institute for so...
  • 3 篇 chair of program...
  • 3 篇 department of co...
  • 3 篇 université paris...
  • 3 篇 ivannikov instit...
  • 3 篇 department of sy...
  • 3 篇 software enginee...
  • 3 篇 max planck insti...

作者

  • 28 篇 margaria tiziana
  • 27 篇 steffen bernhard
  • 26 篇 leucker martin
  • 24 篇 tichy matthias
  • 13 篇 tiziana margaria
  • 11 篇 bernhard steffen
  • 10 篇 matthias tichy
  • 10 篇 raschke alexande...
  • 9 篇 schaefer ina
  • 8 篇 yevtushenko nina
  • 7 篇 lamprecht anna-l...
  • 7 篇 thoma daniel
  • 7 篇 pietron jakob
  • 7 篇 groner raffaela
  • 6 篇 schmitz malte
  • 6 篇 wolfgang reif
  • 6 篇 naujokat stefan
  • 5 篇 merten maik
  • 5 篇 christian kubcza...
  • 5 篇 sachenbacher mar...

语言

  • 260 篇 英文
  • 4 篇 德文
  • 2 篇 其他
检索条件"机构=Programming and Software Engineering"
266 条 记 录,以下是251-260 订阅
排序:
Aspect-oriented programming workshop report
Aspect-oriented programming workshop report
收藏 引用
Workshops on Object-Oriented Technology, ECOOP 1997
作者: Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands
Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or ch... 详细信息
来源: 评论
Acoustic wave sensor for real-time monitoring of volatile organic compounds
收藏 引用
NAVAL ENGINEERS JOURNAL 1997年 第1期109卷 27-30页
作者: Modell, DJ Donald J. Modell:is a project manager and senior technical consultant with Smith Environmental Technologies Corporation (BCM Engineers Inc.). Mr. Modell has extensive experience in process control systems (PLCs PCs distributed control systems and SCADA systems) and sensors used in the environmental and remedial engineering processes and operations. Mr. Modell has further experience with software and hardware configuration programming implementation and total quality management techniques. He has received master's degrees in environmental engineering and chemical engineering from The Johns Hopkins University and Case Western Reserve University. Mr. Modell also has an M.B.A. in finance from Case Western Reserve University. He is active in The American Industrial Hygiene Association the American Institute of Chemical Engineers the International Society of Measurement and Control the Sociely of American Military Engineers and is an officer in the National and Maryland Society of Professional Engineers. He serves as a director and advisor to the legdative board fm the Maryland Engineering Society Joint Council.
On-line real-time monitoring of marine and operational exhaust stacks and process streams can play a critical role in providing safe, environmentally sound operation of marine and industrial processes using volatile o... 详细信息
来源: 评论
NP-COMPLETENESS OF INTERVAL GRAPH COMPLETION FROM A PATH GRAPH
收藏 引用
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE 1995年 第6期78卷 95-102页
作者: YAMAGUCHI, K ARAKI, T KASHIWABARA, T Faculty of Engineering Science Osaka University Toyonaka Japan 560 Toshim Araki received his B.E. and Dr. of Eng. degrees in 1973 and 1978 respectively from Osaka University. He was a Research Associate in 1976 and at present is an Associate Professor Dept. Inf. Eng. Osaka University. He is engaged mainly in research on theory of automaton and language programming language and theory of graphs. Dr. Araki is a member of IEEE ACM Inf. Proc. Soc. and Jap. Soc. Software. Members
Given a set of paths on a tree, the graph with vertices corresponding to the paths, where the corresponding vertices are connected by an edge when two paths intersect, is called the path graph. Given a set A of finite... 详细信息
来源: 评论
Development and application of MCAL tools for marine radar instruction
收藏 引用
Computer Applications in engineering Education 1995年 第4期3卷 259-259页
作者: Guirguis, S. Korany, E. Abdel-Bary, A. Institute of Graduate Studies and Research Alexandria University Alexandria Egypt Shawkat K. Guirguis:obtained the BSc and M.Sc. degrees in Computer Science and Automatic Control Faculty of Engineering Alexandria University in 1981 and 1984 respectively. In 1988 he obtained a PhD degree in Electronics and Communications Faculty of Engineering Cairo University co-supervised by the Imperial College of Science and Technology University of London where he spent two years as an academic visitor. His current research interests include software quality management multimedia automatic programming and decision support systems. He is currently a lecturer of Computer Science at the Institute of Graduate Studies & Research Alexandria University. Ezzat A. Korany:received the BS degree in Electrical Engineering (Electronics Section) from the University of Alexandria Egypt in 1971 the MS degree in Electrical Engineering (Computer Section) from Ain Shams University Cairo Egypt in 1977 and the PhD degree in Electrical Engineering (Digital Systems) from Florida Institute of Technology U.S.A. in 1982. He is currently an associate professor of Computer Science at the Institute of Graduate Studies & Research University of Alexandria. His research interests are in data communications and multimedia applications computer networks image processing and pattern recognition. Abdel-Latif A. Abdel-Bary:obtained the BEng degree in Electronics Technology from Arab Maritime Transport Academy in 1986. In 1995 he obtained the MSc degree in Information Technology from the Institute of Graduate Studies & Research Alexandria University. His current research interests include ICAL hypermedia and automatic programming.
In this article a multimedia computer-assisted learning (MCAL) system is presented. The major objective of this work was to investigate the potential of using such systems as tools for transferring instructional cours...
来源: 评论
Calculation of the temperature distribution in an asynchronous machine
收藏 引用
European Transactions on Electrical Power 1995年 第3期5卷 181-186页
作者: Xypteras, J. Maras, K. Spyrelis, D. Associate Professor Dr.-Ing. Jannis Xypteras (1937) Director of the Electrical Machines Laboratory Dept. of Electrical Engineering Aristotle University of Thessaloniki (AUT)/Greece graduated from the Fakultatfur Elektrotechnik of the RWTH AachedGermany. During the years 1965 to 1980 he had been employed in German and Greek factories for electrical machines several years as chief of development departments. In 1978 he obtained his Dr. Electr. Eng. degree in the AUT. His subject was in the area of eddy currents. Since 1984 he is Ass. hofessor in the same University. His special interests: Design and development of electrical machines vibration and noise problems electromagnetic fields eddy currents. (Dept. of Electrical Engineering Aristotle University GR-54006 Thessaloniki/Greece T +30 3 1 I99 62 93 Fax +303 11 99 63 02) Kostas Maras (1966) received his degree in Electrical Engineering from the Electrotechnical Faculty of Aristotle University of Thessaloniki/Greece in 1989. In 1990 he graduated as M.Sc. in Digital Electronics in the King's College London at the University of LondordGB with the project “Design of a Transversal Filter on VLSI CMOS”. Since then he has been working at M. Papasavas S.A. at KallithedGreece as an analyst in developing industrial software. Projects: Design and implementation of a dynamic relational model used to tackle production problems in industry. From 1991 to 93 he was responsible for the development of production planning used in industries. (M. Papasavas S.A. Sofocleus 261 GR-17874 KallithedGreece T +30 119423246 Fax +30 1/9429561) Dimitrios S. Spyrelis (1965) received his Diploma in Electrical Engineering from the University of Thessalonikil Greece in 1989. In 1990 he joined the Coding Center of Greek Army as research Assistant. He is currently working as technical director in a pigpoultry breeding company which includes feed processing industry slaughter houses by product process industry wastes treatment systems from farm livestock. His last fields of interest
In this paper the temperature distribution on the section vertical to the axis of an asynchronous machine is calculated. For the calculation the numerical method of “Control Volumes” has been used. The technique use...
来源: 评论
THE FORWARD-DEPLOYED SONAR (FDS) AND THE MINE COUNTERMEASURE VESSEL (MCMV)
收藏 引用
NAVAL ENGINEERS JOURNAL 1994年 第3期106卷 246-255页
作者: LETOT, L VIGNAND, B Laurent Letot:is responsible for the long term studies for surface ships at DCN. He has been working at DCN for ten years. Since joining DCN in 1984 he served as software engineer for the French Navy Programming Center (CPM) and has spent many years involved in combat systems design and specification of surface ships including minehunters aircraft carriers and ASW frigates. Mr. Letot graduated from University of Paris with a degree in engineering and a Ph.D in physical science. He is a lieutenant commander in the French naval reserve. Bernard Vignand:is a naval architect for surface ships at DCN. He is in charge of MCMV design for the French navy and export. A lieutenant of armament corps he graduated from Ecole Poly-technique and Superior School of Maritime Engineering (Paris).
It is recognized today that the best way to improve the detection capability of minehunters is linked to the operational concept of minehunting sonars rather than the performance increase of sonar transducers. The Var...
来源: 评论
COMBAT SYSTEM engineering - A RETURN TO FUNDAMENTALS
收藏 引用
NAVAL ENGINEERS JOURNAL 1993年 第3期105卷 61-69页
作者: MITTURA, A KARP, MS PE Andrew Mittura:is currently a senior program engineer with SYSCON Corp. He began his career in the Combat System Installation and Integration Office of NavSea in 1978. He has worked as a system engineer on the Seafire program at NSWCDD on the NATO Anti-air Warfare Program while at FMC Corporation and for the past four years on the Aegis Combat System with SYSCON. Current efforts include performance assessment studies of the Aegis combat system and combat system architecture and connectivity analysis. Mr. Mittura received a B.S. in electrical engineering from Penn State University in 1978 and an M.S. in engineering management from Catholic University of America in 1982. He is a licensed professional engineer with the State of Virginia. Mitchel S. Karp:cofounded K&K Software Engineering Inc. in February 1970. He is currently secretary/treasurer and senior system engineer. His involvement in combat systems began with NTDS in 1963. He has been involved in the Aegis Program since 1968 and has worked in all aspects of combat system development including computer programming tactical analysis software development and management. He has given several seminars on real-time software development and documentation. He currently is working under contracts to NSWCDD in the areas of combat system architecture and connectivity configuration management and documentation. Mr. Karp received a B.S. in engineering physics from Lehigh University in 1958.
The Navy's focus has shifted from global war scenarios to preparedness for the prospect of involvement in regional, littoral contingencies and conflicts. Operationally, shipboard personnel will need the ability to...
来源: 评论
ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT
收藏 引用
NAVAL ENGINEERS JOURNAL 1991年 第3期103卷 204-211页
作者: KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr
A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several know... 详细信息
来源: 评论
CLEER - AN AI-SYSTEM DEVELOPED TO ASSIST EQUIPMENT ARRANGEMENTS ON WARSHIPS
收藏 引用
NAVAL ENGINEERS JOURNAL 1989年 第3期101卷 127-137页
作者: ZHOU, HH SILVERMAN, BG SIMKOL, J Dr. H. Harry Zhou:is a research professor at the Institute for Artificial Intelligence of The George Washington University. Dr. Zhou received his master's degree and Ph.D. in computer science from Vanderbilt University in 1984 and 1987 respectively. He did his dissertation in the fields of artificial intelligence analogical reasoning and machine learning. His research interests include: classifier systems genetic algorithms learning by analogy inductive learning adaptive expert systems automated knowledge acquisition and adaption. He is also interested in data base design programming languages mental modeling and software engineering. Dr. Barry G. Silverman:is director of the Institute for Artificial Intelligence and a professor at the Engineering Administration Department of The George Washington University. He is also president of IntelliTek Inc. an AI consulting firm. Dr. Silverman received the B.S.E. M.S.E. and Ph.D. degrees from the University of Pennsylvania. He has been a principal developer of four generic AI products as well as eight AI applications. Since 1979 he has written over 100 papers and reports on these AI efforts. Joel Simkol:is a research scientist currently engaged in designing expert system architectures to support electronic warfare vulnerability analyses threat assessments shipboard topside antenna arrangements and C3countermeasures employment. Mr. Simkol's work in applying expert systems technology to electromagnetic interference and to spectrum management has generated increased interest and participation from all branches of government agencies.
This paper describes a modularized AI system being built to help improve electromagnetic compatibility (EMC) among shipboard topside equipment and their associated systems. CLEER is intended to act as an easy to use i... 详细信息
来源: 评论
RATIONALE FOR AN ADA software engineering ENVIRONMENT FOR NAVY MISSION CRITICAL APPLICATIONS
收藏 引用
NAVAL ENGINEERS JOURNAL 1984年 第4期96卷 133-145页
作者: PAIGE, KK CONVERSE, RA USN LCdr. Kathleen K. Paige USN:graduated with a BA from the University of New Hampshire in 1970. She received her commission from Officer Candidate School in April 1971 and performed her first tour of duty with VFP-63 NAS Miramar. LCdr. Paige then received her MS from the Naval Post Graduate School in June 1976 and returned to San Diego to serve as Head Support Software Division at the Fleet Combat Direction System Support Activity. In May 1981 she reported to NA VSEA (PMS-408) where she served initially as Chairman of the NAVMAT Software Engineering Environment Working Group. She has been assigned as Deputy AN/UYK-43 Acquisition Manager since October 1981. LCdr. Paige was designated a fully qualified Engineering Duty Officer in December 1983. Robert A. Converse:is presently the Acquisition Manager for the Ada Language System/Navy (ALS/N) for the Naval Sea Systems Command Tactical Embedded Computer Resources Project. As such he is responsible for the definition and development of the ALS/N to be provided as a Navy standard computer programming system for Navy mission critical applications. Mr. Converse received a Bachelor of Science degree in Physics from Wheaton College Wheaton II. He spent fourteen years with the Naval Underwater Systems Center Newport Rhode Island during which time he designed and developed the Fortran compiler for the Navy Standard AN/UYK-7 computer. Also during that period he received a Master of Science degree in Computer Science from the University of Rhode Island. His thesis for that degree was entitled “Optimization Techniques for the NUSC Fortran Cross-Compiler”. Mr. Converse started his involvement with the Ada program in 1975 with the initial “Strawman” requirements review. Subsequently he was named as the Navy Ada Distinguished Reviewer and was intimately involved in the selection and refinement of the Ada language as it evolved to become ANSI/MIL-STD-1815A.
The U.S. Navy introduced the use of digital computers in mission critical applications over a quarter of a century ago. Today, virtually every system in the current and planned Navy inventory makes extensive use of co...
来源: 评论