咨询与建议

限定检索结果

文献类型

  • 89 篇 会议
  • 30 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 88 篇 工学
    • 75 篇 计算机科学与技术...
    • 60 篇 软件工程
    • 9 篇 信息与通信工程
    • 8 篇 控制科学与工程
    • 8 篇 安全科学与工程
    • 7 篇 电气工程
    • 6 篇 生物医学工程(可授...
    • 5 篇 仪器科学与技术
    • 5 篇 电子科学与技术(可...
    • 4 篇 机械工程
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 网络空间安全
    • 3 篇 材料科学与工程(可...
    • 3 篇 石油与天然气工程
    • 3 篇 交通运输工程
    • 3 篇 船舶与海洋工程
  • 34 篇 理学
    • 22 篇 数学
    • 4 篇 化学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 海洋科学
  • 25 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 13 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 5 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
    • 3 篇 药学(可授医学、理...
  • 3 篇 教育学
    • 3 篇 教育学
  • 1 篇 法学

主题

  • 10 篇 software enginee...
  • 5 篇 unified modeling...
  • 4 篇 application soft...
  • 4 篇 java
  • 4 篇 security
  • 4 篇 students
  • 3 篇 computer science
  • 3 篇 adaptive systems
  • 3 篇 linux
  • 3 篇 model checking
  • 3 篇 computer languag...
  • 3 篇 cryptographic pr...
  • 3 篇 artificial intel...
  • 3 篇 smart cards
  • 3 篇 ontology
  • 3 篇 formal specifica...
  • 2 篇 runtime
  • 2 篇 object oriented ...
  • 2 篇 decision support...
  • 2 篇 computer archite...

机构

  • 6 篇 institute for so...
  • 5 篇 department of pr...
  • 3 篇 department of so...
  • 3 篇 department of so...
  • 3 篇 institute for so...
  • 3 篇 department of co...
  • 3 篇 ivannikov instit...
  • 3 篇 department of sy...
  • 3 篇 software enginee...
  • 3 篇 institute of sof...
  • 3 篇 institute of sof...
  • 3 篇 department of se...
  • 2 篇 school of mathem...
  • 2 篇 institute for so...
  • 2 篇 department of co...
  • 2 篇 zuse institute b...
  • 2 篇 department of so...
  • 2 篇 department of me...
  • 2 篇 university of tw...
  • 2 篇 department of co...

作者

  • 20 篇 margaria tiziana
  • 19 篇 steffen bernhard
  • 8 篇 yevtushenko nina
  • 6 篇 wolfgang reif
  • 5 篇 leucker martin
  • 5 篇 naujokat stefan
  • 4 篇 kossachev alexan...
  • 4 篇 lamprecht anna-l...
  • 4 篇 reif wolfgang
  • 4 篇 nina moebius
  • 4 篇 burdonov igor
  • 4 篇 tichy matthias
  • 4 篇 raschke alexande...
  • 3 篇 kubczak christia...
  • 3 篇 merten maik
  • 3 篇 bergenthum robin
  • 3 篇 kurt stenzel
  • 3 篇 nina yevtushenko
  • 3 篇 witte thomas
  • 3 篇 raffelt harald

语言

  • 105 篇 英文
  • 14 篇 其他
  • 2 篇 德文
检索条件"机构=Department of Programming and Software Engineering"
121 条 记 录,以下是111-120 订阅
FormulaBuilder: A tool for graph-based modelling and generation of formulae
FormulaBuilder: A tool for graph-based modelling and generat...
收藏 引用
28th International Conference on software engineering 2006, ICSE '06
作者: Jörges, Sven Margaria, Tiziana Steffen, Bernhard Department of Programming Systems Otto-Hahn-Str. 14 44227 Dortmund Germany Department of Service and Software Engineering August-Bebel-Str. 89 14482 Potsdam
In this paper we present the FormulaBuilder, a flexible tool for graph-based modelling and generation of formulae. The FormulaBuilder allows easy and intuitive creation of formulae by using basic components called For... 详细信息
来源: 评论
The FMICS-jETI platform: Status and perspectives
The FMICS-jETI platform: Status and perspectives
收藏 引用
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
作者: Margaria, Tiziana Kubczak, Christian Steffen, Bernhard Naujokat, Stefan Department of Service and Software Engineering Universität Potsdam August Bebel Str. 89 14482 Potsdam Germany Department of Software Engineering Universität Dortmund Otto-Hahn-Str. 14 44227 Dortmund Germany Department of Programming Systems Universität Dortmund Otto-Hahn-Str. 14 44227 Dortmund Germany
One of the goals of FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) [8], is to transfer and promote the use formal methods technology in industry. The ongoing Verified software... 详细信息
来源: 评论
Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2004年 2981卷 V-VI页
作者: Müller-Schloer, Christian Ungerer, Theo Bauer, Bernhard University of Hannover Institute of Systems Engineering System and Computer Architecture - SRA Appelstr. 4 Hannover Germany University of Augsburg Institute of Informatics Augsburg Germany University of Augsburg Department of Software Engineering and Programming Languages Augsburg Germany
来源: 评论
Term Rewriting for Sale
收藏 引用
Electronic Notes in Theoretical Computer Science 1998年 15卷 218-241页
作者: M.G.J. van den Brand P. Klint C. Verhoef Department of Software Engineering Centrum voor Wiskunde en Informatica (CWI) and Programming Research Group University of Amsterdam Amsterdam The Netherlands Programming Research Group University of Amsterdam Amsterdam The Netherlands
Term rewriting has a large potential for industrial applications, but these applications are always larger than one could ever dream of: huge sets of rewrite rules and gigantic terms to rewrite pose interesting challe...
来源: 评论
Current parsing techniques in software renovation considered harmful
Current parsing techniques in software renovation considered...
收藏 引用
IEEE Workshop on Program Comprehension
作者: M. van den Brand A. Sellink C. Verhoef Department of Software Engineering CWI Amsterdam Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands
We evaluate the parsing technology used by people working in the reengineering industry. We discuss parser generators and complete systems like Yacc, TXL, TAMPR, REFINE, CobolTransformer, COSMOS, and ASF+SDF. We expla... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
INNOVATIONS IN COMPUTER-AIDED-DESIGN OF MARINE TURBINES USING INTERACTIVE GRAPHICS
收藏 引用
NAVAL ENGINEERS JOURNAL 1980年 第2期92卷 207-217页
作者: GINGRICH, JK WINTER, RL Mr. John K. Gingrich joined the General Electric Company after his graduation from Lafayette College in 1948. His early assignments were with the General Engineering Laboratory and the Knolls Atomic Power Laboratory in Schenectady. N. Y. He joined the Marine Turbine and Gear Department in 1968 as Manager Engineering Administration. and assumed his present assignment as Manager Engineering Resource Planning & Administration in 1976. Mr. Gingrich was instrumental in procuring the Interactive Graphics System for the Medium Steam Department. having headed up the Study Team and is now responsible for the Interactive Graphics Systems management including new procurements. He is a member of the American Institute of Design Drafting and is currently the Chairman of the Computer-Aided Drafting Committee in that organization. Mr. Reinhold L. Winter is a graduate of the General Electric Apprentice Program and Salem State College from which he received his B.S. degree in Business Administration. He has nineteen years experience with the General Electric Company including eight years in Business Systems and Programming two years in Computer Operations Management and six years in his present position as Manager Engineering Business Systems. He was a member of the original Study Team that investigated and selected the present Applicon Interactive Graphics (IAG) equipment and currently is responsible for the management of software and hardware support for the ZAG Facility.
This paper discusses the Interactive Graphics System used by the General Electric Company, Medium Steam Turbine department (engineering & Manufacturing) for designing, drafting, and manufacturing applications. A b...
来源: 评论
Autonomic and Trusted Computing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Juan González Nieto Wolfgang Reif Guojun Wang Jadwiga Indulska
来源: 评论