Software Technology: Methods and Tools - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030298517, 9783030298524

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof Strategy for Automated Sisal Program Verification

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_9 ◽

2019 ◽

pp. 113-120 ◽

Cited By ~ 3

Author(s):

Dmitry Kondratyev ◽

Alexei Promsky

Keyword(s):

Program Verification ◽

Proof Strategy

Download Full-text

The Impact of Dance Sport on Software Development

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_8 ◽

2019 ◽

pp. 104-112

Author(s):

Irina Erofeeva

Keyword(s):

Software Development ◽

The Impact

Download Full-text

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_7 ◽

2019 ◽

pp. 89-103

Author(s):

Andrea Bombarda ◽

Silvia Bonfanti ◽

Angelo Gargantini

Keyword(s):

Embedded Systems ◽

Medical Devices ◽

State Machines ◽

Abstract State Machines

Download Full-text

Above the Clouds: A Brief Study

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_27 ◽

2019 ◽

pp. 326-333

Author(s):

Subham Chakraborty ◽

Ananga Thapaliya

Download Full-text

Human Activity Recognition Using Deep Models and Its Analysis from Domain Adaptation Perspective

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_15 ◽

2019 ◽

pp. 189-202

Author(s):

Nikita Gurov ◽

Adil Khan ◽

Rasheed Hussain ◽

Asad Khattak

Keyword(s):

Activity Recognition ◽

Human Activity ◽

Domain Adaptation ◽

Human Activity Recognition ◽

Its Analysis

Download Full-text

Problems in Experiment with Biological Signals in Software Engineering: The Case of the EEG

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_6 ◽

2019 ◽

pp. 81-88

Author(s):

Herman Tarasau ◽

Ananga Thapaliya ◽

Oydinoy Zufarova

Keyword(s):

Software Engineering ◽

Biological Signals

Download Full-text

Cyber-Resilience Concept for Industry 4.0 Digital Platforms in the Face of Growing Cybersecurity Threats

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_23 ◽

2019 ◽

pp. 281-294

Author(s):

Sergei Petrenko ◽

Elvira Khismatullina

Keyword(s):

Industry 4.0 ◽

Digital Platforms ◽

The Face

Download Full-text

Applying Face Recognition in Video Surveillance Security Systems

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_22 ◽

2019 ◽

pp. 271-280 ◽

Cited By ~ 1

Author(s):

Bauyrzhan Omarov ◽

Batyrkhan Omarov ◽

Shirinkyz Shekerbekova ◽

Farida Gusmanova ◽

Nurzhamal Oshanova ◽

...

Keyword(s):

Face Recognition ◽

Video Surveillance ◽

Security Systems

Download Full-text

CNN LSTM Network Architecture for Modeling Software Reliability

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_17 ◽

2019 ◽

pp. 210-217

Author(s):

Kamill Gusmanov

Keyword(s):

Software Reliability ◽

Network Architecture ◽

Modeling Software ◽

Lstm Network

Download Full-text

Complex Systems: On Design and Architecture of Adaptable Dashboards

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_14 ◽

2019 ◽

pp. 176-186

Author(s):

Dragos Strugar

Keyword(s):

Complex Systems

Download Full-text

Software Technology: Methods and Tools - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Proof Strategy for Automated Sisal Program Verification

The Impact of Dance Sport on Software Development

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

Above the Clouds: A Brief Study

Human Activity Recognition Using Deep Models and Its Analysis from Domain Adaptation Perspective

Problems in Experiment with Biological Signals in Software Engineering: The Case of the EEG

Cyber-Resilience Concept for Industry 4.0 Digital Platforms in the Face of Growing Cybersecurity Threats

Applying Face Recognition in Video Surveillance Security Systems

CNN LSTM Network Architecture for Modeling Software Reliability

Complex Systems: On Design and Architecture of Adaptable Dashboards

Software Technology: Methods and Tools - Lecture Notes in Computer Science
Latest Publications