Software engineering.
概観
| 著作: | 124 作品に 103 出版物中に 103 言語 | |
|---|---|---|
タイトル
Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Guide to software development[electronic resource] :designing and managing the life cycle /
…で:
(言語・文字資料 (印刷物))
Foundations of algebraic specification and formal software development[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Games, actions and social software[electronic resource] :multidisciplinary aspects /
…で:
(言語・文字資料 (印刷物))
Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Software service and application engineering[electronic resource] :essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
…で:
(言語・文字資料 (印刷物))
Research methodologies, innovations, and philosophies in software systems engineering and information systems[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Designing software-intensive systems[electronic resource] :methods and principles /
…で:
(言語・文字資料 (印刷物))
Adaptive control approach for software quality improvement[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Practical support for lean six sigma software process definition[electronic resource] :using IEEE software engineering standards /
…で:
(言語・文字資料 (印刷物))
Visual usability[electronic resource] :principles and practices for designing digital applications /
…で:
(言語・文字資料 (印刷物))
Software engineering for embedded systems[electronic resource] :methods, practical techniques, and applications /
…で:
(言語・文字資料 (印刷物))
Software engineering[electronic resource] :architecture-driven software development /
…で:
(言語・文字資料 (印刷物))
Social software engineering[electronic resource] :development and collaboration with social networking /
…で:
(言語・文字資料 (印刷物))
Systems and software quality[electronic resource] :the next step for industrialisation /
…で:
(言語・文字資料 (印刷物))
Multiple access communications[electronic resource] :7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Programming languages[electronic resource] :18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Aligning business processes and information systems[electronic resource] :new approaches to continuous quality engineering /
…で:
(言語・文字資料 (印刷物))
Software engineering techniques applied to agricultural systems[electronic resource] :an object-oriented and UML approach /
…で:
(言語・文字資料 (印刷物))
Computer science and its applications[electronic resource] :ubiquitous information technologies /
…で:
(言語・文字資料 (印刷物))
From requirements to Java in a snap[electronic resource] :model-driven requirements engineering in practice /
…で:
(言語・文字資料 (印刷物))
Designing, engineering, and analyzing reliable and efficient software[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Software development techniques for constructive information systems design[electronic resource] /
…で:
(言語・文字資料 (印刷物))
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the Thirteenth SoMeT_14 /
…で:
(言語・文字資料 (印刷物))
Embedded and real time system development[electronic resource] :a software engineering perspective : concepts, methods and principles /
…で:
(言語・文字資料 (印刷物))
Membrane computing[electronic resource] :14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Engineering secure software and systems[electronic resource] :6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Specification, algebra, and software[electronic resource] :essays dedicated to Kokichi Futatsugi /
…で:
(言語・文字資料 (印刷物))
Time-frequency domain for segmentation and classification of non-stationary signals[electronic resource] :the Stockwell Transform applied on bio-signals and electric signals /
…で:
(言語・文字資料 (印刷物))
Rapid prototyping of software for avionics systems[electronic resource] :model-oriented approaches for complex systems certification /
…で:
(言語・文字資料 (印刷物))
Software technologies[electronic resource] :9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
The practice of enterprise modeling[electronic resource] :8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Data science[electronic resource] :second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
OpenMP[electronic resource] :heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
SDL 2015[electronic resource] :model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
PRIMA 2015[electronic resource] :principles and practice of multi-agent systems :
…で:
(言語・文字資料 (印刷物))
Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
…で:
(言語・文字資料 (印刷物))
Mobile, secure, and programmable networking[electronic resource] :first International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers /
…で:
(言語・文字資料 (印刷物))
Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
…で:
(言語・文字資料 (印刷物))
Engineering multi-agent systems[electronic resource] :third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
…で:
(言語・文字資料 (印刷物))
Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Research in attacks,intrusions, and defenses[electronic resource] :18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Risk assessment and risk-driven testing[electronic resource] :third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Theory and practice of natural computing[electronic resource] :fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Product-focused software process improvement[electronic resource] :16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Service-oriented computing[electronic resource] :13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Transactions on petri nets and other models of concurrency X[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Distributed computing[electronic resource] :29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Agile product development[electronic resource] :how to design innovative products that create customer value /
…で:
(言語・文字資料 (印刷物))
Logic for programming, artificial intelligence, and reasoning[electronic resource] :20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Hybrid soft computing approaches[electronic resource] :research and applications /
…で:
(言語・文字資料 (印刷物))
Computational intelligence and quantitative software engineering[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Advanced information systems engineering workshops[electronic resource] :CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Business modeling and software design[electronic resource] :5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015 : revised selected papers /
…で:
(コンピュータ・メディア)
Signal processing with free software[electronic resource] :practical experiments /
…で:
(コンピュータ・メディア)
Behavioural models[electronic resource] :from modelling finite automata to analysing business processes /
…で:
(コンピュータ・メディア)
The practice of enterprise modeling[electronic resource] :9th IFIP WG 8.1. Working Conference, PoEM 2016, Skovde, Sweden, November 8-10, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Guide to software development[electronic resource] :designing and managing the life cycle /
…で:
(コンピュータ・メディア)
Software developers as users[electronic resource] :semiotic investigations in human-centered software development /
…で:
(コンピュータ・メディア)
Software architecture in action[electronic resource] :designing and executing architectural models with SysADL grounded on the OMG SysML standard /
…で:
(コンピュータ・メディア)
Algorithms and architectures for parallel processing[electronic resource] :16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Deductive software verification - The KeY Book[electronic resource] :from theory to practice /
…で:
(言語・文字資料 (印刷物))
Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013) /
…で:
(言語・文字資料 (印刷物))
Modern software engineering methodologies for mobile and cloud environments[electronic resource] /
…で:
(コンピュータ・メディア)
Integrating the internet of things into software engineering practices[electronic resource] /
…で:
(コンピュータ・メディア)
Certifiable software applications.[electronic resource] :downward cycle /3,Downward cycle
…で:
(コンピュータ・メディア)
主題