Prati
Marcin Szlenk
Marcin Szlenk
Potvrđena adresa e-pošte na elka.pw.edu.pl - Početna stranica
Naslov
Citirano
Citirano
Godina
Formal semantics and reasoning about uml class diagram
M Szlenk
2006 International Conference on Dependability of Computer Systems, 51-59, 2006
722006
Variable structure robot control systems: The RAPP approach
C Zieliński, M Stefańczyk, T Kornuta, M Figat, W Dudek, W Szynkiewicz, ...
Robotics and Autonomous Systems 94, 226-244, 2017
382017
Reconfigurable agent architecture for robots utilising cloud computing
M Szlenk, C Zieliński, M Figat, T Kornuta
Progress in Automation, Robotics and Measuring Techniques: Volume 2 Robotics …, 2015
162015
Reconfigurable control architecture for exploratory robots
C Zieliński, W Szynkiewicz, M Figat, M Szlenk, T Kornuta, W Kasprzak, ...
2015 10th International Workshop on Robot Motion and Control (RoMoCo), 130-135, 2015
152015
Modelling architectural decisions under changing requirements
M Szlenk, A Zalewski, S Kijas
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
132012
UML static models in formal approach
M Szlenk
IFIP Central and East European Conference on Software Engineering Techniques …, 2007
112007
Distributed, reconfigurable architecture for robot companions exemplified by a voice-mail application
M Figat, T Kornuta, M Szlenk, C Zieliński
2015 20th International Conference on Methods and Models in Automation and …, 2015
42015
Sterowniki o zmiennej strukturze w zastosowaniu do robotów społecznych
C Zieliński, W Szynkiewicz, W Kasprzak, M Stefańczyk, M Figat, W Dudek, ...
Prace Naukowe Politechniki Warszawskiej. Elektronika, 5--14, 2016
32016
An evolution process for service-oriented systems
A Zalewski, M Szlenk, S Kijas
Computer Science 13, 2012
22012
Metamodel and uml profile for functional programming languages
M Szlenk
Dependable Computer Systems, 233-242, 2011
22011
Formalna semantyka i wnioskowanie o pojęciowym diagramie klas w UML
M Szlenk
The Institute of Control and Computation Engineering, 2006
12006
A practical approach to the chord analysis in the acoustical recognition process (CD)
W Homenda, M Szlenk
12002
Formal Semantics of Architectural Decision Models
M Szlenk
arXiv preprint arXiv:1807.02798, 2018
2018
(D2. 2.1) RAPP Stare-Care Behaviours Interaction Specyfication and Initial Implementation. RAPP Robotic Applications for Delivering Smart User Empowering Applications. FP7-ITC …
M Szlenk, C Zieliński
The Institute of Control and Computation Engineering, 2015
2015
Towards Precise Architectural Decision Models
M Szlenk
New Results in Dependability and Computer Systems: Proceedings of the 8th …, 2013
2013
D2. 2.2 RAPP Store-Core Behaviours Interaction Final Implementation
M Szlenk, C Zieliński, M Figat
2013
D2. 2.1 RAPP Store-Core Behaviours Interaction Specification and Initial Implementation
M Szlenk, C Zieliński
2013
W kierunku metodyki ewolucji systemów o architekturze usługowej
A Zalewski, K Sacha, M Szlenk, PM Sztandera, A Ratkowski, S Kijas
Pomorskie Wydawnictwo Naukowe-Techniczne PWNT, 2011
2011
Formal Semantics of Architectural Decision Making Models as a Component of an Integrated Evolution Methodology for Service-Oriented Systems
S Kijas, A Zalewski, K Sacha, M Szlenk, A Ratkowski
Wrocław University of Technology, 2011
2011
Formalization of UML Class Diagram
M Szlenk
2006
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20