Software engineering.
Overview
Works: | 124 works in 103 publications in 103 languages |
---|
Titles
Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Language materials, printed)
Guide to software development[electronic resource] :designing and managing the life cycle /
by:
(Language materials, printed)
Foundations of algebraic specification and formal software development[electronic resource] /
by:
(Language materials, printed)
Games, actions and social software[electronic resource] :multidisciplinary aspects /
by:
(Language materials, printed)
Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(Language materials, printed)
The correctness-by-construction approach to programming[electronic resource] /
by:
(Language materials, printed)
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes[electronic resource] /
by:
(Language materials, printed)
Software service and application engineering[electronic resource] :essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(Language materials, printed)
Research methodologies, innovations, and philosophies in software systems engineering and information systems[electronic resource] /
by:
(Language materials, printed)
Designing software-intensive systems[electronic resource] :methods and principles /
by:
(Language materials, printed)
Design problems, frames and innovative solutions[electronic resource] /
by:
(Language materials, printed)
Adaptive control approach for software quality improvement[electronic resource] /
by:
(Language materials, printed)
Practical support for lean six sigma software process definition[electronic resource] :using IEEE software engineering standards /
by:
(Language materials, printed)
Advances in abstract intelligence and soft computing[electronic resource] /
by:
(Language materials, printed)
Visual usability[electronic resource] :principles and practices for designing digital applications /
by:
(Language materials, printed)
Software engineering for embedded systems[electronic resource] :methods, practical techniques, and applications /
by:
(Language materials, printed)
Software engineering[electronic resource] :architecture-driven software development /
by:
(Language materials, printed)
Social software engineering[electronic resource] :development and collaboration with social networking /
by:
(Language materials, printed)
Systems and software quality[electronic resource] :the next step for industrialisation /
by:
(Language materials, printed)
Autonomy requirements engineering for space missions[electronic resource] /
by:
(Language materials, printed)
Mashups[electronic resource] :concepts, models and architectures /
by:
(Language materials, printed)
Multiple access communications[electronic resource] :7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings /
by:
(Language materials, printed)
Programming languages[electronic resource] :18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings /
by:
(Language materials, printed)
Aligning business processes and information systems[electronic resource] :new approaches to continuous quality engineering /
by:
(Language materials, printed)
Software engineering techniques applied to agricultural systems[electronic resource] :an object-oriented and UML approach /
by:
(Language materials, printed)
Computer science and its applications[electronic resource] :ubiquitous information technologies /
by:
(Language materials, printed)
From requirements to Java in a snap[electronic resource] :model-driven requirements engineering in practice /
by:
(Language materials, printed)
Designing, engineering, and analyzing reliable and efficient software[electronic resource] /
by:
(Language materials, printed)
Software development techniques for constructive information systems design[electronic resource] /
by:
(Language materials, printed)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the Thirteenth SoMeT_14 /
by:
(Language materials, printed)
Soft city culture and technology[electronic resource] :the Betaville Project /
by:
(Language materials, printed)
Embedded and real time system development[electronic resource] :a software engineering perspective : concepts, methods and principles /
by:
(Language materials, printed)
Membrane computing[electronic resource] :14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(Language materials, printed)
Structured object-oriented formal language and method[electronic resource] :third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
(Language materials, printed)
Specification, algebra, and software[electronic resource] :essays dedicated to Kokichi Futatsugi /
by:
(Language materials, printed)
Time-frequency domain for segmentation and classification of non-stationary signals[electronic resource] :the Stockwell Transform applied on bio-signals and electric signals /
by:
(Language materials, printed)
Rapid prototyping of software for avionics systems[electronic resource] :model-oriented approaches for complex systems certification /
by:
(Language materials, printed)
Software technologies[electronic resource] :9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(Language materials, printed)
The practice of enterprise modeling[electronic resource] :8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings /
by:
(Language materials, printed)
Agent environments for multi-agent systems IV[electronic resource] :4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014 : revised selected and invited papers /
by:
(Language materials, printed)
Data science[electronic resource] :second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015 : proceedings /
by:
(Language materials, printed)
OpenMP[electronic resource] :heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(Language materials, printed)
SDL 2015[electronic resource] :model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(Language materials, printed)
Dynamic data-driven environmental systems science[electronic resource] :first International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers /
by:
(Language materials, printed)
PRIMA 2015[electronic resource] :principles and practice of multi-agent systems :
by:
(Language materials, printed)
Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Language materials, printed)
Mobile, secure, and programmable networking[electronic resource] :first International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers /
by:
(Language materials, printed)
Advances in conceptual modeling[electronic resource] :ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings /
by:
(Language materials, printed)
Dependable software engineering[electronic resource] :theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Testing Software and Systems[electronic resource] :27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /
by:
(Language materials, printed)
Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(Language materials, printed)
Engineering multi-agent systems[electronic resource] :third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(Language materials, printed)
Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part II /
by:
(Language materials, printed)
Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Hardware and software[electronic resource] :verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(Language materials, printed)
Research in attacks,intrusions, and defenses[electronic resource] :18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings /
by:
(Language materials, printed)
Risk assessment and risk-driven testing[electronic resource] :third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : revised selected papers /
by:
(Language materials, printed)
Theory and practice of natural computing[electronic resource] :fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
by:
(Language materials, printed)
Product-focused software process improvement[electronic resource] :16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part IV /
by:
(Language materials, printed)
Service-oriented computing[electronic resource] :13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015 : proceedings /
by:
(Language materials, printed)
Transactions on petri nets and other models of concurrency X[electronic resource] /
by:
(Language materials, printed)
Distributed computing[electronic resource] :29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings /
by:
(Language materials, printed)
Learning MATLAB[electronic resource] :a problem solving approach /
by:
(Language materials, printed)
Agile product development[electronic resource] :how to design innovative products that create customer value /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning[electronic resource] :20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Language materials, printed)
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Language materials, printed)
A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(Language materials, printed)
Hybrid soft computing approaches[electronic resource] :research and applications /
by:
(Language materials, printed)
Computational intelligence and quantitative software engineering[electronic resource] /
by:
(Language materials, printed)
Advanced information systems engineering workshops[electronic resource] :CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings /
by:
(Electronic resources)
Business modeling and software design[electronic resource] :5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015 : revised selected papers /
by:
(Electronic resources)
Signal processing with free software[electronic resource] :practical experiments /
by:
(Electronic resources)
Nordic contributions in IS research[electronic resource] :7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016 : proceedings /
by:
(Electronic resources)
Behavioural models[electronic resource] :from modelling finite automata to analysing business processes /
by:
(Electronic resources)
Information and software technologies[electronic resource] :22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings /
by:
(Electronic resources)
Information systems for crisis response and management in mediterranean countries[electronic resource] :third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016 : proceedings /
by:
(Electronic resources)
The practice of enterprise modeling[electronic resource] :9th IFIP WG 8.1. Working Conference, PoEM 2016, Skovde, Sweden, November 8-10, 2016 : proceedings /
by:
(Electronic resources)
Guide to software development[electronic resource] :designing and managing the life cycle /
by:
(Electronic resources)
Software developers as users[electronic resource] :semiotic investigations in human-centered software development /
by:
(Electronic resources)
System architecture[electronic resource] :an ordinary engineering discipline /
by:
(Electronic resources)
Software architecture in action[electronic resource] :designing and executing architectural models with SysADL grounded on the OMG SysML standard /
by:
(Electronic resources)
Formal methods and software engineering[electronic resource] :18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
Hardware and software[electronic resource] :verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Electronic resources)
Algorithms and architectures for parallel processing[electronic resource] :16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification, and validation[electronic resource] :6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
by:
(Language materials, printed)
Deductive software verification - The KeY Book[electronic resource] :from theory to practice /
by:
(Language materials, printed)
Knowledge-based processes in software development[electronic resource] /
by:
(Language materials, printed)
Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013) /
by:
(Language materials, printed)
Formal foundations for software engineering methods[electronic resource] /
by:
(Electronic resources)
Modern software engineering methodologies for mobile and cloud environments[electronic resource] /
by:
(Electronic resources)
Integrating the internet of things into software engineering practices[electronic resource] /
by:
(Electronic resources)
Certifiable software applications.[electronic resource] :downward cycle /3,Downward cycle
by:
(Electronic resources)
Advancements in model-driven architecture in software engineering[electronic resource] /
by:
(Electronic resources)
Artificial intelligence methods for software engineering[electronic resource] /
by:
(Electronic resources)
Subjects